Strategy Improvement for Concurrent Safety Games

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition t…