Stochastic Games with Finitary Objectives.

Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn

Browse the full MFCS paper archive.