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. Key words: Weighted/priced timed automata, model-checking, games.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Patricia Bouyer
• Keywords: ENTCS 2006, Interesting Problems, Key Words, Paper