1. Lecture Notes in Computer Science;H. Aljazzar,2006
2. Andrés, M.E.: Derivation of counterexamples for quantitative model checking. Master’s thesis, National University of Córdoba (2006)
3. Lecture Notes in Computer Science;A. Bianco,1995
4. Bellman, R.E.: A Markovian decision process. J. Math. Mech. 6, 679–684 (1957)
5. Lecture Notes in Computer Science;M. Bhargava,2005