209 search results - page 2 / 42 » Dealing with stochastic reachability |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
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-...
STACS
2009
Springer
14 years 1 days ago
2009
Springer
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
FSTTCS
2009
Springer
13 years 10 months ago
2009
Springer
