Module de.learnlib.algorithm.aaar

This module 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.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-aaar</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.aaar	All Modules	All Modules
de.learnlib.algorithm.aaar.abstraction	All Modules	All Modules
de.learnlib.algorithm.aaar.explicit	All Modules	All Modules
de.learnlib.algorithm.aaar.generic	All Modules	All Modules