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

Kyveli Doveri, Pierre Ganty, B. Srivathsan

Browse the full TACAS paper archive.