"Combinations of Qualitative Winning for Stochastic Parity Games."

Krishnendu Chatterjee, Nir Piterman (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics