Recursive Concurrent Stochastic Games
From MaRDI portal
Publication:5901225
DOI10.1007/11787006_28zbMath1133.91317arXiv0810.3581MaRDI QIDQ5901225
Kousha Etessami, Mihalis Yannakakis
Publication date: 11 September 2007
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0810.3581
91A15: Stochastic games, stochastic differential games
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, New Algorithms for Solving Zero-Sum Stochastic Games, Partial-Observation Stochastic Games, A formula for the value of a stochastic game, Strategy improvement for concurrent reachability and turn-based stochastic safety games, A survey of stochastic \(\omega \)-regular games, Equilibria, fixed points, and complexity classes, Qualitative reachability in stochastic BPA games, The complexity of solving reachability games using value and strategy iteration, Concurrent reachability games, Graph Games and Reactive Synthesis