LearnLib :: Algorithms :: AAAR 0.17.0 API
| Package | Description |
|---|---|
| de.learnlib.algorithm.aaar |
This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper
Automata Learning with Automated Alphabet Abstraction
Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.
|
| de.learnlib.algorithm.aaar.abstraction | |
| de.learnlib.algorithm.aaar.explicit | |
| de.learnlib.algorithm.aaar.generic |