The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies.

Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi

Browse the full FOSSACS paper archive.