Time to learn -- learning timed automata from tests
From MaRDI portal
Publication:2176706
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
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)