Corrections to A Menagerie of Timed Automata

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.

arXiv comment9 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

Cited by in corpus (1)

• Timed automata as a formalism for expressing security: A survey on theory and practice