All Packages

Package Summary

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