Module de.learnlib.algorithm.ttt

This module 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.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-ttt</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.ttt.base	All Modules	All Modules
de.learnlib.algorithm.ttt.dfa	All Modules	All Modules
de.learnlib.algorithm.ttt.mealy	All Modules	All Modules
de.learnlib.algorithm.ttt.moore	All Modules	All Modules