Group: de.learnlib - All Dependencies

LearnLib :: Algorithms :: Active · Parent module for (active) automata learning algorithms shipped with LearnLib

LearnLib :: Build Tool Parent · Tools and resources required for building LearnLib

LearnLib :: Build Configs · Configs and other resources required for building LearnLib

LearnLib :: Test Support · Functionality to ease writing test cases for LearnLib

LearnLib :: Utilities · Parent module for LearnLib utilities

LearnLib · A framework for active automata learning and experimentation

LearnLib :: Filters · Parent module for queries that can be used to speed up the learning process

LearnLib :: Examples · A collection of examples of how to use LearnLib

LearnLib :: Equivalence Tests · Parent module for equivalence testing algorithms shipped with LearnLib

LearnLib :: Drivers · Parent module for test drivers

LearnLib :: Algorithms · Parent module for automata learning algorithms shipped with LearnLib

LearnLib :: Algorithms :: AAAR · This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata Learning with Automated Alphabet Abstraction Refinement" (https://dx.doi.org/10.1007/978-3-642-18275-4_19) by Falk Howar, Bernhard Steffen, and Maik Merten.

LearnLib :: Algorithms :: Observation Pack · 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.

LearnLib :: Algorithms :: Observation Pack [VPA] · 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.

LearnLib :: Algorithms :: OML · This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" (https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.

LearnLib :: Algorithms :: OSTIA · 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 :: Procedural · 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.

LearnLib :: Algorithms :: TTT [VPA] · 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.