Strategy improvement for concurrent reachability games (2006)

by K Chatterjee, L de Alfaro, T A Henzinger
Venue:In Third Int. Conf. on the Quant. Evaluation of Systems, QEST