Group: LearnLib

Sort by:Popular▼

✓Popular✓Newest

This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" ...

This artifact provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis "Active learning of interface programs" (http://doi.org/10.17877/DE290R-4817) by Falk Howar.

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" ...

A collection of utility methods to parse LearnLib specific settings.

This artifact provides the implementation of the Sparse OT learning algorithm as described in the paper "Learning Mealy Machines with Sparse Observation Tables" (https://doi.org/10.1007/978-3-032-05792-1_10) by Wolffhardt Schwabe, ...

A collection of emptiness oracles

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

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" ...

Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System States by Active Learning Algorithms" (https://doi.org/10.1007/978-3-642-28033-7_6) by Oliver Bauer, Johannes Neubauer, Bernhard ...

A collection of symbol filters

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

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.

This artifact provides the implementation of the L# algorithm as described in the paper "A New Approach for Active Automata Learning Based on Apartness" (https://doi.org/10.1007/978-3-030-99524-9_12) by Frits Vaandrager, Bharat ...

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and ...

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 ...

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 ...

A collection of property oracles

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://doi.org/10.17877/DE290R-16359) ...

Data- and utility classes for Discrimination Trees

Data- and utility classes for Lists