All Packages

Package Summary

Package	Description
de.learnlib.algorithm.oml	This package (and sub-packages) provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper Active Automata Learning as Black-Box Search and Lazy Partition Refinement by Falk Howar and Bernhard Steffen.
de.learnlib.algorithm.oml.lstar
de.learnlib.algorithm.oml.ttt
de.learnlib.algorithm.oml.ttt.dfa
de.learnlib.algorithm.oml.ttt.dt
de.learnlib.algorithm.oml.ttt.mealy
de.learnlib.algorithm.oml.ttt.pt
de.learnlib.algorithm.oml.ttt.st