Parent module for automata learning algorithms shipped with LearnLib
This project has declared the following modules:
Name | Description |
---|---|
LearnLib :: Algorithms :: Algorithm Features | Common interfaces providing features supported by various learning algorithms |
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 |
LearnLib :: Algorithms :: Kearns/Vazirani | The automata learning algorithm described by Kearns & Vazirani |
LearnLib :: Algorithms :: Discrimination Tree | Parent module for automata learning algorithms shipped with LearnLib |
LearnLib :: Algorithms :: NL* | Parent module for automata learning algorithms shipped with LearnLib |
LearnLib :: Algorithms :: TTT | The TTT Algorithm |