About LearnLib :: Algorithms :: NL*

A variant of the L* algorithm for inferring non-deterministic hypothesis automata.