Weighted Timed Automata: Model-Checking and Games

In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model.