Towards a Standard Library for Automata Learning
LearnLib is the de-facto standard framework for automata learning algorithms. Initiated by Chair 5 for Programming Systems at TU Dortmund in 2003 and released as open-source software in 2015 under the Apache License, Version 2.0, it is widely used by and contributed to by various reserach groups around the world. The StdLearnLib project aims to ensure the continued development of LearnLib and its sister project, AutomataLib and expand it in three key areas:
- Generalization of the library and (re-) integration of extensions such as RALib
- Improving the existing quality assurance mechanisms using state-of-the-art software engineering techniques
- Transition to a fully community-managed project structure to ensure longetivity.
Funding
StdLearnLib is conducted in cooperation with Chair 5 and funded by the DFG as Project 528775176.