de.learnlib:learnlib-statistics (maven): Filters for collecting statistical data
Keywords: automata-learning-algorithms|java|java-library|machine-learning