Corrections to "A Menagerie of Timed Automata"

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

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

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
Volume50
Issue number3
DOIs
Publication statusPublished - Oct 2017

Keywords

  • Timed automata
  • timed transition systems
  • transition systems

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

  • Cite this