Download JAR files tagged by 15629 with all dependencies
learnlib-oml from group de.learnlib (version 0.17.0)
This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning"
concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement"
(https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.
Artifact learnlib-oml
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, automata-api, automata-commons-util, automata-core, checker-qual, buildergen, 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, automata-api, automata-commons-util, automata-core, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
learnlib-procedural from group de.learnlib (version 0.17.0)
This artifact provides the implementations of various learning algorithms for systems of procedural automata
such as the ones described in the papers "Compositional learning of mutually recursive procedural systems
(https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back"
(https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.
Artifact learnlib-procedural
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, 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 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 2)