Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger Strategy Improvement for Concurrent Reachability Games. 291-300 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.48 db/conf/qest/qest2006.html#ChatterjeeAH06