Abstract
AALpy is an extensible open-source Python library providing efficient implementations of active automata learning algorithms for
deterministic, non-deterministic, and stochastic systems. We put a special focus on the conformance testing aspect in active automata learning,
as well as on an intuitive and seamlessly integrated interface for learning
automata characterizing real-world reactive systems. In this manuscript,
we present AALpy’s core functionalities, illustrate its usage via examples, and evaluate its learning performance.
deterministic, non-deterministic, and stochastic systems. We put a special focus on the conformance testing aspect in active automata learning,
as well as on an intuitive and seamlessly integrated interface for learning
automata characterizing real-world reactive systems. In this manuscript,
we present AALpy’s core functionalities, illustrate its usage via examples, and evaluate its learning performance.
| Originalsprache | Englisch |
|---|---|
| Titel | Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021 |
| Untertitel | , Gold Coast, Australia, October 18-22, 2021, Proceedings |
| Publikationsstatus | Angenommen/Im Druck - 18 Okt. 2021 |