Corrections to A Menagerie of Timed Automata
Formal Languages and Automata Theory
2025-08-08 v1
Abstract
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent locations have the same expressiveness as timed automata that allow false location invariants. Corrected con- structions are presented in this note, and the affected results are reproved.
Keywords
Cite
@article{arxiv.1602.07165,
title = {Corrections to A Menagerie of Timed Automata},
author = {Jeroen J. A. Keiren and Peter Fontana and Rance Cleaveland},
journal= {arXiv preprint arXiv:1602.07165},
year = {2025}
}
Comments
9 pages, corrects a technical error in the ACM Computing Surveys paper mentioned in the title, that can be found at http://dx.doi.org/10.1145/2518102