Projects per year
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.
Original language | English |
---|---|
Title of host publication | Automated Technology for Verification and Analysis - ATVA 2021 |
Editors | Zhe Hou, Vijay Ganesh |
Place of Publication | Cham |
Publisher | Springer |
Pages | 67-73 |
Number of pages | 7 |
ISBN (Electronic) | 978-3-030-88885-5 |
ISBN (Print) | 978-3-030-88884-8 |
DOIs | |
Publication status | Published - 2021 |
Event | 19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australia Duration: 18 Oct 2021 → 22 Oct 2021 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 12971 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA 2021 |
Country/Territory | Australia |
City | Virtuell |
Period | 18/10/21 → 22/10/21 |
Keywords
- Active automata learning
- Model inference
- Python
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project