A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata

Kyveli Doveri, Pierre Ganty, B. Srivathsan

We present a Myhill-Nerode style characterization for languages recognized by one-clock deterministic timed automata (1-DTA). Although there is only one clock, distinct automata ma…