News
LearnLib 0.17.0, AutomataLib 0.11.0, and learnlib.de relaunch
Nov 26, 2023 • Markus Frohme
LearnLib 0.17.0 and AutomataLib 0.11.0 have been released! The releases aggregate the work of our busy contributors and cover (among other things) a new model checker for context-free modal systems, new active and passive learning algorithms, as well as the work on procedural systems presented in Markus Frohme’s PhD thesis...
LearnLib 0.16.0 and AutomataLib 0.10.0 release
Oct 12, 2020 • Markus Frohme
We are happy to announce our new releases of LearnLib and AutomataLib. This one is a little bit of a smaller release, because some of our projects progressed slower than anticipated due to the COVID-19 pandemic. To not keep you waiting, we therefore decided to publish the goodies we had...
LearnLib 0.15.0 and AutomataLib 0.9.0 release
Feb 6, 2020 • Markus Frohme
We are happy to announce our new (annual) releases of LearnLib and AutomataLib. This release contains mostly updates to AutomataLib. Among the main new features are a new parser for DOT files, a parser for LTSmin-based LTL formulae and a new facade for Paige-Tarjan based automaton minimization. We were also...
LearnLib revival - Release 0.13.0
Mar 2, 2018 • Markus Frohme
Good things are worth waiting for! After a nearly 2 year hiatus due to the departure of the core research assistants behind the project, development of the LearnLib and AutomataLib has been picked up again mid 2017. We are happy to announce that these efforts have culminated in new releases...
Open source release of LearnLib
May 25, 2013 • Malte Isberner
LearnLib is now available as Free and Open Source Software, under the terms of the LGPL 3.0 license, rebasing LearnLib on AutomataLib, a free and extensible automata library and offering an even better structured API compared to previous releases. Anybody is invited not only to use LearnLib for projects involving...