Corrections to "A Menagerie of Timed Automata"

J.J.A. Keiren, P. Fontana, R. Cleaveland

Research output: Contribution to journalArticleAcademicpeer-review


This note corrects a technical error in the ACM Computing Surveys article 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 constructions are presented in this note, and the affected results are reproved.
Original languageEnglish
Article number42
Pages (from-to)1-8
Number of pages8
JournalAcm Computing Surveys
Issue number3
Publication statusPublished - Oct 2017


  • Timed automata
  • timed transition systems
  • transition systems


Dive into the research topics of 'Corrections to "A Menagerie of Timed Automata"'. Together they form a unique fingerprint.

Cite this