Strategy improvement for concurrent reachability and turn-based stochastic safety games
From MaRDI portal
Publication:355506
DOI10.1016/j.jcss.2012.12.001zbMath1269.91022arXiv1201.2834WikidataQ40376615 ScholiaQ40376615MaRDI QIDQ355506
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
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
game theory; stochastic games; concurrent games; reachability and safety objectives; strategy-improvement algorithms
91A43: Games involving graphs
91A15: Stochastic games, stochastic differential games
90C40: Markov and semi-Markov decision processes
Related Items