From Passive to Active: Learning Timed Automata Efficiently

Bernhard Aichernig, Andrea Pferscher*, Martin Tappler

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung


Model-based testing is a promising technique for quality assurance. In practice, however, a model is not always present. Hence, model learning techniques attain increasing interest. Still, many learning approaches can only learn relatively simple types of models and advanced properties like time are ignored in many cases. In this paper we present an active model learning technique for timed automata. For this, we build upon an existing passive learning technique for real-timed systems. Our goal is to efficiently learn a timed system while simultaneously minimizing the set of training data. For evaluation we compared our active to the passive learning technique based on 43 timed systems with up to 20 locations and multiple clock variables. The results of 18060 experiments show that we require only 100 timed traces to adequately learn a timed system. The new approach is up to 755 times faster.
TitelNASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings
Untertitel 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
Redakteure/-innenRitchie Lee, Susmit Jha, Anastasia Mavridou
Herausgeber (Verlag)Springer
ISBN (Print)978-3-030-55753-9
PublikationsstatusVeröffentlicht - 10 Aug. 2020
Veranstaltung12th NASA Formal Methods Symposium: NFM 2020 - NASA Ames Research Center, Moffett Field, USA / Vereinigte Staaten
Dauer: 12 Mai 202014 Mai 2020


NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band12229 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349


Konferenz12th NASA Formal Methods Symposium
KurztitelNFM 2020
Land/GebietUSA / Vereinigte Staaten
OrtMoffett Field

ASJC Scopus subject areas

  • Theoretische Informatik
  • Informatik (insg.)

Fields of Expertise

  • Information, Communication & Computing


Untersuchen Sie die Forschungsthemen von „From Passive to Active: Learning Timed Automata Efficiently“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren