31 search results - page 2 / 7 » Minimum-Time Reachability in Timed Games |
ICALP
2009
Springer
14 years 6 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-...
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
CONCUR
2010
Springer
13 years 7 months ago
2010
Springer
FSTTCS
2004
Springer
13 years 11 months ago
2004
Springer
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 ...