1. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press, Cambridge (2008)
2. Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2), 149–214 (2005)
3. Lecture Notes in Computer Science;M. Bicego,2001
4. Castro, P.S., Panangaden, P., Precup, D.: Equivalence relations in fully and partially observable Markov decision processes. In: Boutilier, C. (ed.) Proc. of the Twenty-First Intl. Joint Conference on Artificial Intelligence, IJCAI-2009, pp. 1653–1658. AAAI Press, Menlo Park (2009)
5. Christiansen, H., Have, C.T., Lassen, O.T., Petit, M.: Inference with constrained hidden Markov models in PRISM. TPLP 10(4-6), 449–464 (2010)