Download learnlib-adt JAR file with all dependencies

Infrastructure and core interfaces of LearnLib

The Direct Hypothesis Construction algorithm for active learning of Mealy machines

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.