Artifacts using automata-commons-dotutil version 0.6.0

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.

Reuse Tree for (intelligently) caching membership queries

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

A collection of examples of how to use LearnLib

Archetype which includes all LearnLib dependencies

Archetype for a typical LearnLib setup, including the most commonly used dependencies

The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.

AutomataLib :: Archetypes :: Typical