@misc{indiciae0ffad14fca1f,
  title = {A Myhill-Nerode style Characterization for Timed Automata With Integer Resets},
  author = {Kyveli Doveri and Pierre Ganty and B. Srivathsan},
  year = {2024},
  url = {https://arxiv.org/abs/2410.02464},
  note = {Source identifier: 2410.02464}
}