Module de.learnlib.algorithm.nlstar

This module provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.nlstar	All Modules	All Modules