Sciweavers

72
Voted
FSTTCS
2004
Springer
15 years 2 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...