de.learnlib:learnlib-lstar (maven): A flexible, optimized version of Dana Angluin's L* algorithm. This module provides access to the original version of L*, extensions for Mealy machines, and variants with enhanced counterexample analysis (as proposed by e.g. Maler & Pnueli and Rivest & Schapire). 
Keywords: automata-learning-algorithms|java|java-library|machine-learning