Solving Partial-Information Stochastic Parity Games.

Sumit Nain, Moshe Y. Vardi

Browse the full LICS paper archive.