Download JAR files tagged by de290r with all dependencies
learnlib-ttt-vpa from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the
PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective"
(https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.
Artifact learnlib-ttt-vpa
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, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-observation-pack-vpa, guava, automata-api, checker-qual, buildergen, 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, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-observation-pack-vpa, guava, automata-api, checker-qual, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
learnlib-observation-pack from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the Observation-Pack learning algorithm as described in the PhD
thesis "Active learning of interface programs" (http://dx.doi.org/10.17877/DE290R-4817) by Falk Howar.
Artifact learnlib-observation-pack
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-core, automata-commons-smartcollections, 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 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-core, automata-commons-smartcollections, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
learnlib-observation-pack-vpa from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as
discussed in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective"
(https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.
0 downloads
Artifact learnlib-observation-pack-vpa
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 13
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, guava, checker-qual, automata-api, automata-core, automata-commons-smartcollections, automata-commons-util, buildergen, 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 13
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, guava, checker-qual, automata-api, automata-core, automata-commons-smartcollections, automata-commons-util, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)