Abstract
| Original language | English |
|---|---|
| Article number | 42 |
| Pages (from-to) | 1-8 |
| Number of pages | 8 |
| Journal | Acm Computing Surveys |
| Volume | 50 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - Oct 2017 |
Fingerprint
Keywords
- Timed automata
- timed transition systems
- transition systems
Cite this
}
Corrections to "A Menagerie of Timed Automata". / Keiren, J.J.A.; Fontana, P.; Cleaveland, R.
In: Acm Computing Surveys, Vol. 50, No. 3, 42, 10.2017, p. 1-8.Research output: Contribution to journal › Article › Academic › peer-review
TY - JOUR
T1 - Corrections to "A Menagerie of Timed Automata"
AU - Keiren, J.J.A.
AU - Fontana, P.
AU - Cleaveland, R.
PY - 2017/10
Y1 - 2017/10
N2 - 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.
AB - 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.
KW - Timed automata
KW - timed transition systems
KW - transition systems
U2 - 10.1145/3078809
DO - 10.1145/3078809
M3 - Article
VL - 50
SP - 1
EP - 8
JO - Acm Computing Surveys
JF - Acm Computing Surveys
SN - 0360-0300
IS - 3
M1 - 42
ER -