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 | Jun 04, 2015 |
Files | pom (1 KB) jar (13 KB) View All |
Repositories | CentralIBiblioSonatypeXillio |
Ranking | #269985 in MvnRepository (See Top Artifacts) |
Used By | 1 artifacts |
Compile Dependencies (5)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib » learnlib-core | 0.12.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-simulator | 0.12.0 | ✔ | |
Apache 2.0 | de.learnlib » learnlib-cache | 0.12.0 | 0.18.0 | |
Apache 2.0 | de.learnlib » learnlib-lstar-generic | 0.12.0 | ✔ | |
GraphViz Lib Apache 2.0 | net.automatalib » automata-commons-dotutil | 0.6.0 | ✔ |
Provided Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | com.github.misberner.buildergen » buildergen | 0.1 | ✔ |
Test Dependencies (2)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | de.learnlib.testsupport » learnlib-learner-it-support | 0.12.0 | 0.18.0 | |
Testing Apache 2.0 | org.testng » testng | 6.8.8 | 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 | |
---|---|---|---|---|
Falk Howar | falk.howar<at>gmail.com | falkhowar | ||
Malte Isberner | malte.isberner<at>gmail.com | misberner | ||
Stephan Windmüller | stephan.windmueller<at>tu-dortmund.de | stovocor | ||
Maik Merten | maikmerten<at>googlemail.com | merten | ||
Oliver Bauer | oliver.bauer<at>tu-dortmund.de | oliverbauer8 |