Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger Termination criteria for solving concurrent safety and reachability games. 197-206 2009 SODA http://doi.acm.org/10.1145/1496770.1496793 conf/soda/2009 db/conf/soda/soda2009.html#ChatterjeeAH09