Sciweavers

567 search results - page 1 / 114
» Stochastic Game Logic
Sort
View
QEST
2007
IEEE
13 years 10 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...

Presentation
487views
15 years 2 months ago
Stochastic Games
This presentation was to explain seminal paper on stochastic games by Shapley
IPL
2008
110views more  IPL 2008»
13 years 3 months ago
Reduction of stochastic parity to stochastic mean-payoff games
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
Krishnendu Chatterjee, Thomas A. Henzinger
ICALP
2007
Springer
13 years 9 months ago
Continuous Capacities on Continuous State Spaces
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
Jean Goubault-Larrecq
CORR
2008
Springer
159views Education» more  CORR 2008»
13 years 3 months ago
Stochastic Limit-Average Games are in EXPTIME
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...
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. H...