Home home
Subscribe to our feed
About Demo Download Documentation Literature Team Contact

Welcome to the home of libalf

The libalf library is a comprehensive, open-source library for learning finite-state automata covering various well-known learning techniques (such as Angluin's L*, Biermann's learning approach, and RPNI), as well as novel learning algorithms (e.g. for NFA and visibly one-counter automata).

Please refer to the About-page for more information about libalf.

libalf in action

We are happy that various researchers are already using libalf for their projects. You may want to have a look at the following papers, which give an impression about what libalf can be used for.

  • L. Feng, M. Kwiatkowska, and D. Parker. Compositional verification of probabilistic systems using learning. In the Seventh International Conference on the Quantitative Evaluation of Systems, pages 133 to 142, IEEE, 2010.
  • J. Esparza, M. Leucker, and M. Schlund. Learning Workflow Petri Nets. In Applications and Theory of Petri Nets, pages 206 to 225, Springer, 2010.
  • M. Merten, B. Steffen, F. Howar, and T. Margaria. Next Generation LearnLib. In Tools and Algorithms for the Construction and Analysis of Systems, pages 220 to 223, Springer, 2011.
  • D. N. Reachability Games on Automatic Graphs. In 15th International Conference on Implementation and Application of Automata, pages 222 to 230, Springer, 2011.

In-development notice

Please note that libalf (and the libalf website) are still in development. In particular, we are currently hard working on a comprehensive documentation.

Please come back later or subscribe to our feed to stay informed.

Latest news

April 9th, 2011

Release of libalf 0.3. Version 0.3 features some new features and the Rivest / Schapire learning algorithm. Please have a look at the Changelog.

March 10th, 2010

Release of libalf 0.2. Version 0.2 now features the Kearns / Vazirani and Biermann's original learning algorithm. Additionally, various bugs are fixed.

October 19th, 2009

libalf website launched. On October 19th, 2009 the libalf team launched the new website.

October 12th, 2009

libalf released. The first beta of the libalf library has been released.

libalf demo

read more

Disclaimer Original design by Stylish Website Templates