The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning.

Malte Isberner, Falk Howar, Bernhard Steffen

Browse the full RV paper archive.