Download de.learnlib JAR files with all dependencies
learnlib-adt from group de.learnlib (version 0.13.0)
This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis
"Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus
Frohme.
3 downloads
learnlib-api from group de.learnlib (version 0.13.1)
Infrastructure and core interfaces of LearnLib
Group: de.learnlib Artifact: learnlib-api
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
learnlib-dhc from group de.learnlib (version 0.12.0)
The Direct Hypothesis Construction algorithm for active learning of Mealy machines
1 downloads
learnlib-ttt from group de.learnlib (version 0.13.1)
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
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
learnlib-build-config from group de.learnlib (version 0.18.0)
Configs and other resources required for building LearnLib
learnlib-property-oracles from group de.learnlib (version 0.18.0)
A collection of property oracles
learnlib-emptiness-oracles from group de.learnlib (version 0.18.0)
A collection of emptiness oracles
learnlib-reuse from group de.learnlib (version 0.18.0)
Reuse Tree for (intelligently) caching membership queries
learnlib-mapper from group de.learnlib (version 0.18.0)
learnlib-drivers-basic from group de.learnlib (version 0.18.0)
Basic Test Driver Generation Support
learnlib-rpni from group de.learnlib (version 0.18.0)
This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative
inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update
time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García.
More details on the blue-fringe version of this algorithm can be found in the book "Grammatical Inference"
(https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.
learnlib-ostia from group de.learnlib (version 0.18.0)
This artifact provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA)
learning algorithm as presented in the paper "Learning Subsequential Transducers for Pattern Recognition
Interpretation Tasks" (https://doi.org/10.1109/34.211465) by Jose Oncina, Pedro García, and Enrique Vidal.
learnlib-algorithms-passive-parent from group de.learnlib (version 0.18.0)
Parent module for (passive) automata learning algorithms shipped with LearnLib
Group: de.learnlib Artifact: learnlib-algorithms-passive-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
learnlib-ttt-vpa from group de.learnlib (version 0.18.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.
learnlib-procedural from group de.learnlib (version 0.18.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.
Page 1 from 5 (items total 64)
© 2015 - 2026 Weber Informatics LLC | Privacy Policy