Artifacts using automata-commons-smartcollections version 0.7.1

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

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 the TTT algorithm as described in the paper "The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte Isberner, Falk Howar, and Bernhard Steffen.

A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down automata variant).