All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by malte with all dependencies

Search JAR files by class name

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.

Group: de.learnlib Artifact: learnlib-ttt-vpa
Show documentation Show source 
 

0 downloads
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!

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.

Group: de.learnlib Artifact: learnlib-observation-pack-vpa
Show documentation Show source 
 

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!

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.

Group: de.learnlib Artifact: learnlib-ttt
Show all versions Show documentation Show source 
 

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!



Page 1 from 1 (items total 3)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy