Time to learn -- learning timed automata from tests
From MaRDI portal
Publication:2176706
DOI10.1007/978-3-030-29662-9_13zbMATH Open1434.68212OpenAlexW2969937245MaRDI QIDQ2176706FDOQ2176706
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
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 one-clock timed automata
- Compositional learning for interleaving parallel automata
- Active learning of timed automata with unobservable resets
- Learning Mealy machines with one timer
- Title not available (Why is that?)
- Active learning of one-clock timed automata using constraint solving
- Learning deterministic one-clock timed automata via mutation testing
- Fingerprinting and analysis of Bluetooth devices with automata learning
- Domain-specific optimization in automata learning.
- Learning Mealy machines with one timer
- Title not available (Why is that?)
- Synthesis of parametric hybrid automata from time series
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- Timed automata verification and synthesis via finite automata learning
Uses Software
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)