Sciweavers

567 search results - page 1 / 114
» Stochastic Game Logic
Sort
View
86
Voted
QEST
2007
IEEE
15 years 4 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
16 years 9 months ago
Stochastic Games
This presentation was to explain seminal paper on stochastic games by Shapley
IPL
2008
110views more  IPL 2008»
14 years 10 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
15 years 4 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»
14 years 10 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...