DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jcss.2011.05.002,3846,"KrCh,ToHe","A survey of stochastic ω regular games"