The Complexity of Stochastic Rabin and Streett Games'.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Browse the full ICALP paper archive.