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 08, 2018 |
Files | pom (2 KB) jar (14 KB) View All |
Repositories | CentralSonatypeXillio |
Ranking | #270467 in MvnRepository (See Top Artifacts) |
Used By | 1 artifacts |
Compile Dependencies (5)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib » learnlib-api | 0.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-util | 0.13.0 | 0.18.0 | |
Apache 2.0 | net.automatalib » automata-api | 0.7.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-core | 0.7.0 | 0.12.0 | |
Apache 2.0 | net.automatalib » automata-util | 0.7.0 | 0.12.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.13.0 | 0.18.0 | |
Apache 2.0 | de.learnlib.testsupport » learnlib-learner-it-support | 0.13.0 | 0.18.0 | |
Testing Apache 2.0 | org.testng » testng | 6.11 | 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) | |
Stephan Windmüller | stephan.windmueller<at>tu-dortmund.de | stovocor | Developer (inactive) | |
Maik Merten | maikmerten<at>googlemail.com | merten | Developer (inactive) | |
Oliver Bauer | oliver.bauer<at>tu-dortmund.de | oliverbauer8 | Developer (inactive) |