All Packages

Package Summary

Package	Description
de.learnlib.algorithm.ttt	This package (and sub-packages) provides the implementation of the TTT algorithm as described in the paper The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning by Malte Isberner, Falk Howar, and Bernhard Steffen.
de.learnlib.algorithm.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore