Corrections to “A Menagerie of Timed Automata”
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 pre...
Saved in:
| Published in: | ACM computing surveys 2018-05, Vol.50 (3), p.1-8 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Citations: | Items that this one cites Items that cite this one |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|