TY  - RPRT
TI  - A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
AU  - Kyveli Doveri
AU  - Pierre Ganty
AU  - B. Srivathsan
PY  - 2024
UR  - https://arxiv.org/abs/2410.02464
ID  - 2410.02464
ER  -