Termination criteria for solving concurrent safety and reachability games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Browse the full SODA paper archive.