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