Journal
INFORMATION PROCESSING LETTERS
Volume 98, Issue 5, Pages 188-194Publisher
ELSEVIER
DOI: 10.1016/j.ipl.2006.01.012
Keywords
weighted timed automata; weighted timed games; real-time systems
Categories
Ask authors/readers for more resources
In this paper, we strengthen two recent undecidability results about weighted timed automata, an extension of timed automata with cost variables. More precisely, we propose new encodings of a Minsky machine. that only require three clocks and one stopwatch cost, while previous reductions required five clocks and one stopwatch cost. (c) 2006 Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available