Termination Criteria for Solving Concurrent Safety and Reachability Games

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

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…