All Packages

Package Summary

Package	Description
de.learnlib.acex	This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen.
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.