1. Howard, R.A.: Dynamic Programming and Markov Processes. The MIT press, New York, London, Cambridge (1960)
2. Puterman, M.L.: Markov Decision Processes. Wiley, New York (1994)
3. Filar, J., Vrieze, K.: Competitive Markov Decision Processes. Springer, New York (1997)
4. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;M Kwiatkowska,2011