1. Baier, C., Brázdil, T., Größer, M., Kucera, A.: Stochastic game logic. Acta Inf. 49(4), 203–224 (2012)
2. Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., Kučera, A.: Two views on multiple mean-payoff objectives in Markov decision processes. In: LICS (2011)
3. Brázdil, T., Brožek, V., Forejt, V., Kučera, A.: Stochastic games with branching-time winning objectives. In: LICS, pp. 349–358 (2006)
4. Chatterjee, K.: Stochastic Omega-Regular Games. PhD thesis, EECS Department, University of California, Berkeley (October 2007)
5. Lecture Notes in Computer Science;K. Chatterjee,2006