Solving simple stochastic tail games

MaRDI QIDQ5417672zbMATH OpenFDO

Authors Hugo Gimbert, Florian Horn

Publication date 22 May 2014

Mathematics Subject Classification ID

2-person games (91A05) Games with infinitely many players (91A07) Stochastic games, stochastic differential games (91A15)

Recommendations

• Computer Science Logic
• Quantitative stochastic parity games
• Concurrent Games with Tail Objectives
• Concurrent games with tail objectives
• New algorithms for solving simple stochastic games

Cited in

(10)

• Compositional strategy synthesis for stochastic games with multiple objectives
• Concurrent games with tail objectives
• A Note on Game Theory and Verification
• Concurrent Games with Tail Objectives
• Determinacy and optimal strategies in infinite-state stochastic reachability games
• Concurrent games and semi-random determinacy
• Computer Science Logic
• Subgame optimal strategies in finite concurrent games with prefix-independent objectives
• Strategy complexity of reachability in countable stochastic 2-player games
• Promptness and fairness in Muller LTL formulas

This page was built for publication: Solving simple stochastic tail games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5417672)