Download learnlib-settings JAR file 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-property-oracles from group de.learnlib (version 0.17.0)
A collection of property oracles
learnlib-parallelism from group de.learnlib (version 0.17.0)
Support for parallelizing membership queries
learnlib-emptiness-oracles from group de.learnlib (version 0.17.0)
A collection of emptiness oracles
learnlib-reuse from group de.learnlib (version 0.17.0)
Reuse Tree for (intelligently) caching membership queries
learnlib-mapper from group de.learnlib (version 0.17.0)
learnlib-drivers-basic from group de.learnlib (version 0.17.0)
Basic Test Driver Generation Support
learnlib-rpni-mdl from group de.learnlib (version 0.17.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 using the "minimum
description length" (MDL) heuristic.
More details on this algorithm can be found in the book "Grammatical Inference"
(https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.
learnlib-rpni-edsm from group de.learnlib (version 0.17.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 using the "evidence-driven
state merging" (EDSM) heuristic.
More details on this algorithm can be found in the book "Grammatical Inference"
(https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.
learnlib-rpni from group de.learnlib (version 0.17.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-datastructure-pta from group de.learnlib (version 0.17.0)
Data- and utility classes for Prefix-Tree-Acceptors
learnlib-ostia from group de.learnlib (version 0.17.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.
Page 1 from 3 (items total 33)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy