A. Bertoni, The solution of problems relative to probabilistic automata in the frame of the formal languages theory, Proc. of the 4th GI Jahrestagung, pp.107-112, 1974.

A. Bertoni, G. Mauri, and M. Torelli, Some recursive unsolvable problems relating to isolated cutpoints in probabilistic automata, Proceedings of the Fourth Colloquium on Automata, Languages and Programming, pp.87-94, 1977.

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

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

K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, Randomness for free, MFCS, pp.246-257, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01006409

K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, MFCS, pp.258-269, 2010.
DOI : 10.1007/978-3-642-15155-2_24

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, Algorithms for omega-regular games of incomplete information, LMCS, vol.3, issue.3, 2007.

K. Chatterjee, M. Jurdzi´nskijurdzi´nski, and T. A. Henzinger, Quantitative stochastic parity games. SODA '04, pp.121-130, 2004.

K. Chatterjee and M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.185-194, 2012.
DOI : 10.1109/LICS.2012.29

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

C. Derman, Finite State Markovian Decision Processes, 1970.

N. Fijalkow, H. Gimbert, and Y. Oualhadj, Deciding the value 1 problem for probabilistic leaktight automata, LICS, pp.295-304, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01140262

H. Gimbert, Randomized Strategies are Useless in Markov Decision Processes, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00403463

H. Gimbert and F. Horn, Solving Simple Stochastic Tail Games. SODA '10, p.1000, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00413430

H. Gimbert and Y. Oualhadj, Probabilistic Automata on Finite Words: Decidable and Undecidable Problems, ICALP, pp.527-538, 2010.
DOI : 10.1007/978-3-642-14162-1_44
URL : https://hal.archives-ouvertes.fr/hal-00456538

M. L. Putterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994.
DOI : 10.1002/9780470316887