Sciweavers

FSTTCS
2004
Springer
14 years 4 months ago
Optimal Strategies in Priced Timed Game Automata
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, K...