Artifacts using automata-commons-util version 0.11.0

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.

Basic support for test driver creation

This artifact provides a visualization implementation based on the JUNG (https://jung.sourceforge.net/) library.

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.

Data- and utility classes for Observation Tables

(De-)Serializers for the Textual Automaton Format

Deserializers for the Finite State Machine format

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

This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described in the paper "Sound Black-Box Checking in the LearnLib" (https://doi.org/10.1007/s11334-019-00342-6) by Jeroen Meijer and Jaco van de Pol. Note that this implementation requires a local installation of the LTSmin binaries (see https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons.

(De-)Serializers for the legacy LearnLibV2 format