AALpy: An Active Automata Learning Library

Edi Muskardin*, Bernhard Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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.
Originalspracheenglisch
TitelAutomated Technology for Verification and Analysis - ATVA 2021
Redakteure/-innenZhe Hou, Vijay Ganesh
ErscheinungsortCham
Herausgeber (Verlag)Springer
Seiten67-73
Seitenumfang7
ISBN (elektronisch)978-3-030-88885-5
ISBN (Print)978-3-030-88884-8
DOIs
PublikationsstatusVeröffentlicht - 2021
Veranstaltung19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australien
Dauer: 18 Okt. 2021 → 22 Okt. 2021

Publikationsreihe

NameLecture Notes in Computer Science
Band12971
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

Konferenz19th International Symposium on Automated Technology for Verification and Analysis
KurztitelATVA 2021
Land/GebietAustralien
OrtVirtuell
Zeitraum18/10/21 → 22/10/21

ASJC Scopus subject areas

  • Theoretische Informatik
  • Allgemeine Computerwissenschaft

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Untersuchen Sie die Forschungsthemen von „AALpy: An Active Automata Learning Library“. Zusammen bilden sie einen einzigartigen Fingerprint.
Vollständigen Fingerprint anzeigen
  • 1 Abgeschlossen

  • Verlaesslichkeit im Internet der Dinge

    Boano, C. A. (Teilnehmer (Co-Investigator)), Kubin, G. (Teilnehmer (Co-Investigator)), Bloem, R. (Teilnehmer (Co-Investigator)), Horn, M. (Teilnehmer (Co-Investigator)), Pernkopf, F. (Teilnehmer (Co-Investigator)), Zakany, N. (Teilnehmer (Co-Investigator)), Mangard, S. (Teilnehmer (Co-Investigator)), Witrisal, K. (Teilnehmer (Co-Investigator)), Römer, K. U. (Teilnehmer (Co-Investigator)), Aichernig, B. (Teilnehmer (Co-Investigator)), Bösch, W. (Teilnehmer (Co-Investigator)), Baunach, M. C. (Teilnehmer (Co-Investigator)), Tappler, M. (Teilnehmer (Co-Investigator)), Malenko, M. (Teilnehmer (Co-Investigator)), Weiser, S. (Teilnehmer (Co-Investigator)), Eichlseder, M. (Teilnehmer (Co-Investigator)), Leitinger, E. (Teilnehmer (Co-Investigator)), Grosinger, J. (Teilnehmer (Co-Investigator)), Großwindhager, B. (Teilnehmer (Co-Investigator)), Ebrahimi, M. (Teilnehmer (Co-Investigator)), Alothman Alterkawi, A. B. (Teilnehmer (Co-Investigator)), Knoll, C. (Teilnehmer (Co-Investigator)), Teschl, R. (Teilnehmer (Co-Investigator)), Saukh, O. (Teilnehmer (Co-Investigator)), Rath, M. (Teilnehmer (Co-Investigator)), Steinberger, M. (Teilnehmer (Co-Investigator)), Steinbauer-Wagner, G. (Teilnehmer (Co-Investigator)) & Tranninger, M. (Teilnehmer (Co-Investigator))

    1/01/16 → 31/03/22

    Projekt: Forschungsprojekt

Dieses zitieren