Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games

Julia Eisentraut, Jan Křetínský, Alexej Rotar

We consider concurrent stochastic games played on graphs with reachability and safety objectives. These games can be solved by value iteration as well as strategy iteration, each o…