@misc{indiciae435bff7c288e,
  title = {A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata},
  author = {Kyveli Doveri and Pierre Ganty and B. Srivathsan},
  year = {2026},
  url = {https://arxiv.org/abs/2601.15104},
  note = {Source identifier: 2601.15104}
}