Download JAR files tagged by maik with all dependencies
learnlib-dhc from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata
Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik
Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
1 downloads
Artifact learnlib-dhc
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies learnlib-api, learnlib-counterexamples, guava, automata-api, automata-core, automata-commons-util, checker-qual, buildergen, learnlib-learning-examples, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies learnlib-api, learnlib-counterexamples, guava, automata-api, automata-core, automata-commons-util, checker-qual, buildergen, learnlib-learning-examples, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
learnlib-aaar from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata
Learning with Automated Alphabet Abstraction Refinement" (https://dx.doi.org/10.1007/978-3-642-18275-4_19) by
Falk Howar, Bernhard Steffen, and Maik Merten.
Artifact learnlib-aaar
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, guava, automata-api, automata-commons-util, automata-core, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, guava, automata-api, automata-commons-util, automata-core, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 2)