3 search results - page 1 / 1 » Continuous-Time Stochastic Games with Time-Bounded Reachabil... |
FSTTCS
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2010
Springer
13 years 4 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-...
ICALP
2009
Springer
14 years 5 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-...