Artifacts using automata-commons-util version 0.9.0

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all AutomataLib artifacts.

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://doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García, including merging heuristics such as the "evidence-driven state merging" (EDSM) and "minimum description length" (MDL) strategies. More details on these implementations can be ...

Basic support for test driver creation

Data- and utility classes for Observation Tables

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

(De-)Serializers for the Textual Automaton Format

Deserializers for the Finite State Machine format

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

Serializers for LTSmin's Enumerated Table Format