88 search results - page 2 / 18 » Reachability in Stochastic Timed Games |
STACS
2009
Springer
14 years 15 days ago
2009
Springer
AUTOMATICA
2008
13 years 5 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the gam...
ICALP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
CORR
2010
Springer
13 years 5 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-...