Strategy improvement for concurrent reachability and turn-based stochastic safety games

DOI10.1016/j.jcss.2012.12.001zbMath1269.91022arXiv1201.2834OpenAlexW2063391005WikidataQ40376615 ScholiaQ40376615MaRDI QIDQ355506

Krishnendu Chatterjee, Thomas A. Henzinger, Luca de Alfaro

Publication date: 24 July 2013

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.2834

zbMATH Keywords

game theorystochastic gamesconcurrent gamesreachability and safety objectivesstrategy-improvement algorithms

Mathematics Subject Classification ID

Games involving graphs (91A43) Stochastic games, stochastic differential games (91A15) Markov and semi-Markov decision processes (90C40)

Related Items (10)

Automatic verification of concurrent stochastic systems ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Automated Verification of Concurrent Stochastic Games ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Unnamed Item ⋮ Concurrent reachability games ⋮ On Values of Games ⋮ Logical time control of concurrent DES ⋮ Comparison of algorithms for simple stochastic games ⋮ A turn-based approach for qualitative time concurrent games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of stochastic games
• The complexity of mean payoff games on graphs
• Quantitative solution of omega-regular games
• Concurrent reachability games
• Algorithms for discounted stochastic games
• Finite state Markovian decision processes
• Solving Simple Stochastic Games with Few Coin Toss Positions
• The complexity of probabilistic verification
• Simple Stochastic Games with Few Random Vertices Are Easy to Solve
• On Nonterminating Stochastic Games
• Discounted and positive stochastic games
• Stochastic Games
• Recursive Concurrent Stochastic Games
• Stochastic games

This page was built for publication: Strategy improvement for concurrent reachability and turn-based stochastic safety games