LearnLib

10 years later

July 23, 2025 @ CAV 2025

Markus Frohme1 Falk Howar1,2 Bernhard Steffen1
1 TU Dortmund University, Germany
2 Fraunhofer ISST, Germany

LearnLib

is an open-source Java library for active automata learning

Thank you for your attention

To the project:
https://learnlib.de
To the code:
https://github.com/LearnLib/learnlib