_id,doi,title
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"