About LearnLib :: Algorithms :: DHC

The Direct Hypothesis Construction algorithm for active learning of Mealy machines