automaton learning

Learning One-Clock Timed Automata
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework …
PDF Cite Slides DOI Artifact Evaluated Best Paper Award @ FMAC 2019 Springer High-Impact Paper
Learning One-Clock Timed Automata