1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;V Forejt,2011
3. Baier, C., de Alfaro, L., Forejt, V., Kwiatkowska, M.: Probabilistic model checking, dependable software. Syst. Eng. 45, 1–23 (2016)
4. Kwiatkowska, M., Norman, G., Parker, D.: The PRISM benchmark suite. In: 9th International Conference on Quantitative Evaluation of SysTems, pp. 203–204. IEEE CS Press (2012)
5. Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, Hoboken (2014)