2010 | OriginalPaper | Chapter
libalf: The Automata Learning Framework
Authors : Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
Published in: Computer Aided Verification
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This paper presents
libalf
, a comprehensive, open-source library for learning formal languages.
libalf
covers various well-known learning techniques for finite automata (e.g. Angluin’s
L*, Biermann
,
RPNI
etc.) as well as novel learning algorithms (such as for NFA and visibly one-counter automata).
libalf
is flexible and allows facilely interchanging learning algorithms and combining domain-specific features in a plug-and-play fashion. Its modular design and
C++
implementation make it a suitable platform for adding and engineering further learning algorithms for new target models (e.g., Büchi automata).