Strategy improvement for concurrent reachability and turn-based stochastic safety games
{{output}}
We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety objective to stay forever... ...
