The complexity of stochastic Müller games
scientific article; zbMATH DE number 6038290
scientific article