This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style
Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl,
Carsten Kern, and Martin Leucker.
License | Apache 2.0 |
---|---|
Date | Feb 06, 2020 |
Files | pom (2 KB) jar (15 KB) View All |
Repositories | CentralSpring PluginsXillio |
Ranking | #266690 in MvnRepository (See Top Artifacts) |
Used By | 1 artifacts |
Vulnerabilities | Vulnerabilities from dependencies: CVE-2022-4065 |
Compile Dependencies (6)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib » learnlib-api | 0.15.0 | 0.17.0 | |
Apache 2.0 | de.learnlib » learnlib-util | 0.15.0 | 0.17.0 | |
Apache 2.0 | net.automatalib » automata-api | 0.9.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-core | 0.9.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-util | 0.9.0 | 0.12.0 | |
Defect Detection MIT | org.checkerframework » checker-qual | 3.0.1 | 3.49.0 |
Provided Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | com.github.misberner.buildergen » buildergen | 0.1 | ✔ |
Test Dependencies (3)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib » learnlib-membership-oracles | 0.15.0 | 0.17.0 | |
Apache 2.0 | de.learnlib.testsupport » learnlib-learner-it-support | 0.15.0 | 0.17.0 | |
Testing Apache 2.0 | org.testng » testng1 vulnerability | 7.1.0 | 7.10.2 |
Licenses
License | URL |
---|---|
Apache License, Version 2.0 | http://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
Name | Dev Id | Roles | Organization | |
---|---|---|---|---|
Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund, Chair for Programming Systems |
Falk Howar | falk.howar<at>gmail.com | falkhowar | Developer | TU Dortmund, Chair for Software Engineering |
Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive) |