_id,doi,title
3885,10.1007/978-3-540-71389-0_11,Optimal strategy synthesis in stochastic Müller games