Improved undecidability results on weighted timed automata

Technical Report PDF: 
Technical Report Number: 
2006.61
TitleImproved undecidability results on weighted timed automata
Publication TypeJournal Article
Year of Publication2006
AuthorsBouyer, P, Brihaye T, Markey N
JournalInf. Process. Lett.
Volume98
Pagination188-194