1. Baier, C., Grösser, M., Bertrand, N.: Probabilistic
$$\omega $$
-automata. J. ACM 59(1), 1 (2012)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;M Bojanczyk,2014
4. Brázdil, T., Forejt, V., Kretínský, J., Kucera, A.: The satisfiability problem for probabilistic CTL. In: Proceedings of LICS, pp. 391–402 (2008)
5. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science, Proceedings, pp. 1–11. American Mathematical Society (1962)