Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger. Termination criteria for solving concurrent safety and reachability games. In Claire Mathieu, editor, Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009. pages 197-206, SIAM, 2009. [doi]
Abstract is missing.