Sciweavers

205 search results - page 19 / 41
» One-Counter Stochastic Games
Sort
View
115
Voted
FSTTCS
2009
Springer
15 years 8 months ago
Continuous-Time Stochastic Games with Time-Bounded Reachability
Tomás Brázdil, Vojtech Forejt, Jan K...
94
Voted
CIE
2008
Springer
15 years 5 months ago
Solving Simple Stochastic Games
Hugo Gimbert, Florian Horn
88
Voted
CONCUR
2010
Springer
15 years 4 months ago
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
Tomás Brázdil, Jan Krcál, Jan...