1. A survey of stochastic ω-regular games;Chatterjee;J. Comput. Syst. Sci.,2012
2. Probabilistic Databases, Synthesis Lectures on Data Management;Suciu,2011
3. Model checking stochastic branching processes;Chen,2012
4. Infinite games with perfect information;Gale,1953
5. Probabilistic modal μ-calculus with independent product;Mio;Log. Methods Comput. Sci.,2012