C. Baier, N. Bertrand, and M. Groesser, On Decision Problems for Probabilistic Büchi Automata, Proceedings of the 11th International Conference on the Foundations of Software Science and Computational Structures, FoSSaCS' 08, pp.287-301, 2008.

N. Bertrand, H. Gimbert, and B. Genest, Qualitative Determinacy and Decidability of Stochastic Games with Signals, 2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009.
DOI : 10.1109/LICS.2009.31
URL : https://hal.archives-ouvertes.fr/hal-00356566

J. , R. Büchi, and L. H. Landweber, Solving Sequential Conditions by Finite-State Strategies. Transactions of the, pp.295-311, 1969.

K. Chatterjee, T. A. Luca-de-alfaro, and . Henzinger, The Complexity of Stochastic Rabin and Streett Games, Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'05, pp.878-890, 2005.
DOI : 10.1007/11523468_71

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, Algorithms for Omega-regular Games of Incomplete Information, Logical Methods in Computer Science, vol.3, issue.3, 2007.

K. Chatterjee and T. A. Henzinger, Strategy Improvement for Stochastic Rabin and Streett Games, Proceedings of the 17th International Conference on Concurrency Theory, CONCUR'06, pp.375-389, 2006.
DOI : 10.1007/11817949_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7882

K. Chatterjee, Concurrent games with tail objectives, Theoretical Computer Science, vol.388, issue.1-3, pp.181-198, 2007.
DOI : 10.1016/j.tcs.2007.07.047
URL : http://doi.org/10.1016/j.tcs.2007.07.047

K. Chatterjee, Stochastic M??ller Games are PSPACE-Complete, Proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS'07, pp.436-448, 2007.
DOI : 10.1007/978-3-540-77050-3_36

K. Chatterjee, Stochastic ?-regular Games, 2007.
DOI : 10.1016/j.jcss.2011.05.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.1798

K. Chatterjee, T. A. Henzinger, and F. Horn, Stochastic Finitary Games, 2008.

K. Chatterjee, M. Jurdzi?ski, and T. A. Henzinger, Quantitative Stochastic Parity Games, Proceedings of the 15th Symposium on Discrete Algorithms, SODA'04, pp.121-130, 2004.
DOI : 10.1007/978-3-540-45220-1_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.5430

A. Condon, The Complexity of Stochastic Games Information and Computation, pp.203-224, 1992.

C. Courcoubetis and M. Yannakakis, The complexity of probabilistic verification, Journal of the ACM, vol.42, issue.4, pp.857-907, 1995.
DOI : 10.1145/210332.210339

A. Luca-de, Formal Verification of Probabilistic Systems [dAH00] Luca de Alfaro and Thomas A. Henzinger. Concurrent ?-regular Games, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, LICS'00, pp.141-154, 1997.

R. Durett, Probability: Theory and Examples., Biometrics, vol.49, issue.3, 1996.
DOI : 10.2307/2532227

H. Gimbert and F. Horn, Solving Simple Stochastic Games with Few Random Vertices, Logical Methods in Computer Science, vol.5, issue.2, p.9, 2009.
DOI : 10.2168/LMCS-5(2:9)2009
URL : https://hal.archives-ouvertes.fr/hal-00195914

H. Gimbert, Pure Stationary Optimal Strategies in Markov Decision Processes, Proceedings of the 24th International Symposium on Theoretical Aspects of Computer Science, STACS'07, pp.200-211, 2007.
DOI : 10.1007/978-3-540-70918-3_18
URL : https://hal.archives-ouvertes.fr/hal-00140144

E. Grädel, W. Thomas, and T. Wilke, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, Lecture Notes in Computer Science, vol.2500, 2001.
DOI : 10.1007/3-540-36387-4

A. J. Hoffman and R. M. Karp, On Nonterminating Stochastic Games [Hor08] Florian Horn. Random Games The Determinacy of Blackwell Games, Management Science Journal of Symbolic Logic, vol.12, issue.634, pp.359-3701565, 1966.

J. F. Mertens and A. Neyman, Stochastic games, International Journal of Game Theory, vol.39, issue.2, pp.53-56, 1981.
DOI : 10.1007/BF01769259

A. Paz, Introduction to Probabilistic Automata, 1971.

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.179-190, 1989.
DOI : 10.1145/75277.75293

S. Lloyd and . Shapley, Stochastic Games, Proceedings of the National Academy of Science of the USA, pp.1095-1100, 1953.