Module de.learnlib.algorithm.lambda

This module provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper Active Automata Learning as Black-Box Search and Lazy Partition Refinement by Falk Howar and Bernhard Steffen.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.lambda.lstar	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt.dfa	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt.dt	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt.mealy	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt.pt	All Modules	All Modules
de.learnlib.algorithm.lambda.ttt.st	All Modules	All Modules