Projekte pro Jahr
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.
Originalsprache | englisch |
---|---|
Titel | Automated Technology for Verification and Analysis - ATVA 2021 |
Redakteure/-innen | Zhe Hou, Vijay Ganesh |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer |
Seiten | 67-73 |
Seitenumfang | 7 |
ISBN (elektronisch) | 978-3-030-88885-5 |
ISBN (Print) | 978-3-030-88884-8 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2021 |
Veranstaltung | 19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australien Dauer: 18 Okt. 2021 → 22 Okt. 2021 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Band | 12971 |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Kurztitel | ATVA 2021 |
Land/Gebiet | Australien |
Ort | Virtuell |
Zeitraum | 18/10/21 → 22/10/21 |
ASJC Scopus subject areas
- Theoretische Informatik
- Informatik (insg.)
Projekte
- 1 Abgeschlossen
-
Verlaesslichkeit im Internet der Dinge
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
Projekt: Forschungsprojekt