Time to learn -- learning timed automata from tests
From MaRDI portal
Publication:2176706
DOI10.1007/978-3-030-29662-9_13zbMath1434.68212OpenAlexW2969937245MaRDI QIDQ2176706
Martin Tappler, Florian Lorber, Bernhard K. Aichernig, Kim Guldstrand Larsen
Publication date: 5 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-29662-9_13
Related Items (10)
Learning One-Clock Timed Automata ⋮ Compositional learning for interleaving parallel automata ⋮ 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 timed automata with unobservable resets ⋮ Unnamed Item ⋮ Learning Mealy machines with one timer ⋮ Unnamed Item
Uses Software
This page was built for publication: Time to learn -- learning timed automata from tests
