Time to learn -- learning timed automata from tests
From MaRDI portal
(Redirected from 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
(17)- Active learning of timed automata with unobservable resets
- Learning Mealy machines with one timer
- Learning one-clock timed automata
- scientific article; zbMATH DE number 7559498 (Why is no real title available?)
- Determinisability of register and timed automata
- Domain-specific optimization in automata learning.
- Compositional learning for interleaving parallel automata
- Learning deterministic one-clock timed automata via mutation testing
- Active learning of one-clock timed automata using constraint solving
- Synthesis of parametric hybrid automata from time series
- Fingerprinting and analysis of Bluetooth devices with automata learning
- Learning Mealy machines with one timer
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- Timed automata verification and synthesis via finite automata learning
- Timed games and deterministic separability
- Learning deterministic multi-clock timed automata
- A Myhill-Nerode style characterization for timed automata with integer 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)
