Strategy Improvement for Stochastic Rabin and Streett Games.

Krishnendu Chatterjee, Thomas A. Henzinger

Browse the full CONCUR paper archive.