This artifact provides the implementation of the L# algorithm as described in the paper "A New Approach for
Active Automata Learning Based on Apartness" (https://doi.org/10.1007/978-3-030-99524-9_12) by Frits Vaandrager,
Bharat Garhewal, Jurriaan Rot, and Thorsten Wißmann.
Compile Dependencies (10)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
| | de.learnlib
»
learnlib-api Infrastructure and core interfaces of LearnLib | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib
»
learnlib-util A collection of utility methods for learning setups (oracle wrappers, etc.) | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib.testsupport
»
learnlib-learner-it-support Support classes for easily writing integration test cases for learning algorithms | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib.testsupport
»
learnlib-test-support Support classes for easily writing unit tests for various components of LearnLib | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib.tooling » annotations | 0.1.1 | ✔ |
Apache 2.0
|  | net.automatalib
»
automata-api This artifact contains the API of AutomataLib, which mainly consists of interfaces | 0.12.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-core The core artifact of AutomataLib. This library contains concrete implementations for many | 0.12.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-commons-util Basic utility library containing several useful classes to ease everyday programming. | 0.12.0 | 0.12.1 |
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.3 | 4.2.1 |
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.2 | 7.12.0 |
Test Dependencies (5)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
| | de.learnlib
»
learnlib-drivers-simulator Utilities for simulating SULs | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib
»
learnlib-equivalence-oracles A collection of equivalence oracles | 0.18.0 | ✔ |
Apache 2.0
| | de.learnlib
»
learnlib-membership-oracles A collection of membership oracles | 0.18.0 | ✔ |
Apache 2.0
| | net.automatalib
»
automata-serialization-dot (De-)Serializers for the DOT Format | 0.12.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-util This artifact provides various common utility operations for analyzing and manipulating | 0.12.0 | 0.12.1 |