Concetti Chiave
This paper presents a novel characterization for languages recognized by Timed Automata with Integer Resets (IRTA) based on a Myhill-Nerode-style equivalence relation.
Doveri, K., Ganty, P., & Srivathsan, B. (2024). A Myhill-Nerode style Characterization for Timed Automata With Integer Resets. arXiv preprint arXiv:2410.02464.
This paper aims to develop a Myhill-Nerode-style characterization for languages recognized by Timed Automata with Integer Resets (IRTA), similar to the characterization of regular languages using Nerode equivalence.