DOI,IST REx ID,Title of publication
10.1007/978-3-540-71389-0_11,3885,Optimal strategy synthesis in stochastic Müller games