LearnLib

An open framework for automata learning

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

series-2-kv

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