Module de.learnlib.algorithm.lambda

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>