DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ic.2011.11.004,3254,KrCh,The complexity of stochastic Müller games