Time to learn -- learning timed automata from tests

DOI10.1007/978-3-030-29662-9_13MaRDI QIDQ2176706zbMATHOpenAlexFDO

Authors Martin Tappler, Bernhard K. Aichernig, Florian Lorber, Kim G. Larsen

Publication date 5 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29662-9_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Active learning of one-clock timed automata using constraint solving
• Learning one-clock timed automata
• Learning deterministic one-clock timed automata via mutation testing
• Learning deterministic probabilistic automata from a model checking perspective

Cited in

(14)

• Learning Mealy machines with one timer
• Fingerprinting and analysis of Bluetooth devices with automata learning
• Domain-specific optimization in automata learning.
• Synthesis of parametric hybrid automata from time series
• scientific article; zbMATH DE number 7559498 (Why is no real title available?)
• Active learning of one-clock timed automata using constraint solving
• Learning deterministic one-clock timed automata via mutation testing
• Active learning of deterministic timed automata with Myhill-Nerode style characterization
• Timed automata verification and synthesis via finite automata learning
• Learning Mealy machines with one timer
• scientific article; zbMATH DE number 7566065 (Why is no real title available?)
• Learning one-clock timed automata
• Compositional learning for interleaving parallel automata
• Active learning of timed automata with unobservable resets

Describes a project that uses

Uses Software

• Uppaal
• EvoSuite
• SFADiff

This page was built for publication: Time to learn -- learning timed automata from tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176706)