de.learnlib:learnlib-discrimination-tree (maven): A learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Keywords: automata-learning-algorithms|java|java-library|machine-learning