All Packages
Package Summary
Package
Description
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.
This package contains the basic interfaces and classes of learning algorithms of LearnLib.
This package contains a collection of standard algorithms for handling counterexamples in automata learning.
This package contains the basic interfaces and classes for describing and implementing various types of oracles used
throughout LearnLib.
This package (and related packages) contains interfaces and classes for formalizing access to systems under
learning (SULs).