LearnLib :: Commons :: Counterexamples 0.17.0 API
| 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.
|