Download JAR files tagged by malte with all dependencies
learnlib-ttt-vpa from group de.learnlib (version 0.17.0)
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!
learnlib-ttt from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A
Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte
Isberner, Falk Howar, and Bernhard Steffen.
1 downloads
Artifact learnlib-ttt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, 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 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy