LearnLib &
AutomataLib
the current state of affairs
October 23, 2026 @ LLAB / (A)ISoLA
Markus Frohme1
Falk Howar1,2
Bernhard Steffen1
1 TU Dortmund University, Germany
2 Fraunhofer ISST, Germany
2 Fraunhofer ISST, Germany
LearnLib
is an open-source Java library for active automata learning
LearnLib CLI
AutomataLib
is an open-source Java library for automata, graphs, and transition systems
Use Case 1: Equivalence Testing
Use Case 2: LearnLib
Use Case 3: Overhead of Generic Abstractions
Conclusion
LearnLib and AutomataLib are two open-source Java libraries for learning and modeling automata
https://github.com/LearnLib/learnlib
https://github.com/LearnLib/automatalib
Bonus: Benchmarks
