Home » de.learnlib » learnlib-lambda » 0.18.0 » Dependencies

LearnLib :: Algorithms :: Lambda » 0.18.0

This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" (https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.

Compile Dependencies (10)

Category/LicenseGroup / ArtifactVersionUpdates
Apache 2.0
de.learnlib » learnlib-api
Infrastructure and core interfaces of LearnLib
0.18.019.0.0
Apache 2.0
de.learnlib » learnlib-util
A collection of utility methods for learning setups (oracle wrappers, etc.)
0.18.019.0.0
Apache 2.0
de.learnlib.testsupport » learnlib-learner-it-support
Support classes for easily writing integration test cases for learning algorithms
0.18.019.0.0
Apache 2.0
de.learnlib.testsupport » learnlib-learning-examples
Example learning setups to be used for integration testing
0.18.019.0.0
Apache 2.0
de.learnlib.testsupport » learnlib-test-support
Support classes for easily writing unit tests for various components of LearnLib
0.18.019.0.0
Apache 2.0
net.automatalib » automata-api
This artifact contains the API of AutomataLib, which mainly consists of interfaces
0.12.013.0.0
Apache 2.0
net.automatalib » automata-commons-util
Basic utility library containing several useful classes to ease everyday programming.
0.12.013.0.0
Apache 2.0
net.automatalib » automata-core
The core artifact of AutomataLib. This library contains concrete implementations for many
0.12.013.0.0
Defect Detection MIT
org.checkerframework » checker-qual
checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...
3.48.34.2.2
Testing Apache 2.0
org.testng » testng
TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...
7.10.27.12.0

Test Dependencies (5)

Category/LicenseGroup / ArtifactVersionUpdates
Apache 2.0
de.learnlib » learnlib-drivers-simulator
Utilities for simulating SULs
0.18.019.0.0
Apache 2.0
de.learnlib » learnlib-equivalence-oracles
A collection of equivalence oracles
0.18.019.0.0
Apache 2.0
de.learnlib » learnlib-membership-oracles
A collection of membership oracles
0.18.019.0.0
Apache 2.0
net.automatalib » automata-serialization-dot
(De-)Serializers for the DOT Format
0.12.013.0.0
Apache 2.0
net.automatalib » automata-util
This artifact provides various common utility operations for analyzing and manipulating
0.12.013.0.0