All Packages

Package Summary

Package	Description
de.learnlib.algorithm.dhc	This package (and sub-packages) provides the implementation of the DHC learning algorithm as described in the paper Automata Learning with on-the-Fly Direct Hypothesis Construction by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
de.learnlib.algorithm.dhc.mealy