libalf: The Automata Learning Framework
Abstract elided by the publisher.
Related papers
- The Open-Source LearnLib - A Framework for Active Automata Learning CAV 2015
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Learning One-Clock Timed Automata TACAS 2020
- The Simulator's Blueprint: Automata Learning from Cybersecurity Logs CAV 2026
- Automata Learning with an Incomplete Teacher ECOOP 2023
- Extending AALpy with Passive Learning: A Generalized State-Merging Approach CAV 2025
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems POPL 2015
- Learning Symbolic Automata TACAS 2017