Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games.

Krishnendu Chatterjee, Thomas A. Henzinger

Browse the full STACS paper archive.