Solving simple stochastic tail games
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Stochastic real-time games with qualitative timed automata objectives
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Qualitative reachability in stochastic BPA games
Information and Computation
Recursive concurrent stochastic games
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Playing games with counter automata
RP'12 Proceedings of the 6th international conference on Reachability Problems
Continuous-time stochastic games with time-bounded reachability
Information and Computation
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
| Hi-index | 0.00 |