LearnLib

An open framework for automata learning

  • Home
    • LearnLib
    • AutomataLib
    • ALEX
  • News
  • Wiki
  • Resources
    • Publications
    • Version History

Contact

This site is administrated by the Chair for Programming Systems of TU Dortmund University, Dortmund, Germany. See the contact information page on the Chair for Programming Systems web site for postal address and phone number.

For general questions and discussion about LearnLib, we encourage you to use one of our discussion groups. For any inquiries you deem not suitable for a public audience, please send an e-mail to info(at)learnlib.de.

LearnLib @ GitHub

LearnLib

Version Docs
0.16.0 Oct 12, 2020 API
0.15.0 Feb 6, 2020 API
0.14.0 Feb 18, 2019 API
Also take a look at the downloads page for the binaries of the different LearnLib versions. Related links
  • Issue management
  • Q&A (Google Groups)

Cite LearnLib

  • Introduction
    .BIB
    BibTeX
    .ENW
    Endnote
    .RIS
    Reference Manager
    • Introduction to Active Automata Learning
  • Tool
    .BIB
    BibTeX
    .ENW
    Endnote
    .RIS
    Reference Manager
    • The Open-Source LearnLib - A Framework for Active Automata Learning
  • Treatment of data
    .BIB
    BibTeX
    .ENW
    Endnote
    .RIS
    Reference Manager
    • Learning register automata: from languages to program structures
    • Active Learning of Extended Finite State Machines
    • Inferring Automata with State-Local Alphabet Abstractions
Subscribe to News Subscribe to Publications

Latest news

  • 12. Oct. 2020
    LearnLib 0.16.0 and AutomataLib 0.10.0 release
  • 06. Feb. 2020
    LearnLib 0.15.0 and AutomataLib 0.9.0 release
  • 02. Mar. 2018
    LearnLib revival – Release 0.13.0
  • 25. May. 2013
    Open source release of LearnLib

More news

Latest publications

  • The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
  • LearnLib Tutorial: From Finite Automata to Register Interface Programs
  • Automated Learning Setups in Automata Learning
  • Demonstrating Learning of Register Automata

More publications

  • Team
  • Contact
  • Imprint
  • Privacy policy
  • TU Dortmund University
LearnLib | Licensed under Apache-2.0