Corrections to A Menagerie of Timed Automata
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2016
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918116194254848 |
|---|---|
| author | Keiren, Jeroen J. A. Fontana, Peter Cleaveland, Rance |
| author_facet | Keiren, Jeroen J. A. Fontana, Peter Cleaveland, Rance |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1602_07165 |
| institution | arXiv |
| publishDate | 2016 |
| record_format | arxiv |
| spellingShingle | Corrections to A Menagerie of Timed Automata Keiren, Jeroen J. A. Fontana, Peter Cleaveland, Rance Formal Languages and Automata Theory 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. |
| title | Corrections to A Menagerie of Timed Automata |
| topic | Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/1602.07165 |