Determinacy and optimal strategies in infinite-state stochastic reachability games
From MaRDI portal
Publication:391114
DOI10.1016/j.tcs.2012.10.038zbMath1294.91021MaRDI QIDQ391114
Publication date: 10 January 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.10.038
Cites Work
- Qualitative reachability in stochastic BPA games
- Reachability in recursive Markov decision processes
- The complexity of stochastic games
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games
- The determinacy of Blackwell games
- Qualitative Reachability in Stochastic BPA Games
- STACS 2005
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item