To content
Fakultät für Informatik

Markus Frohme and Bernhard Steffen presented our latest paper at CAV 2025

The logo of the International Conference on Computer Aided Verification 2025 © International Conference on Computer Aided Verification
Markus Frohme and Bernhard Steffen presented our latest paper "LearnLib: 10 years later" at the 37th International Conference on Computer Aided Verification (CAV) 2025 in Zagreb, Croatia. The work highlights the last decade of LearnLib development, encompassing new theoretical results in active automata learning research, improvements to the user experience in practical applications, and the growing community that LearnLib manages to reach.