Parent Project
Modules
- LearnLib :: Algorithms :: DHC
- LearnLib :: Algorithms :: Generic L*
- LearnLib :: Algorithms :: Baseline L*
Project Documentation
Parent module for automata learning algorithms shipped with LearnLib
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Algorithms :: DHC | The Direct Hypothesis Construction algorithm for active learning of Mealy machines |
| LearnLib :: Algorithms :: Generic L* | A flexible, optimized version of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Baseline L* | A simple, straightforward implementation of Dana Angluin's L* algorithm |