1. de Alfaro, L.: Formal verification of probabilistic systems. Dissertation. Stanford University, Stanford (1997)
2. Aljazzar, H., Leue, S.: Generation of counterexamples for model checking of markov decision processes. In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp. 197–206 (2009). https://doi.org/10.1109/QEST.2009.10
3. Baier, C., Chau, C., Klüppelholz, S.: Certificates and witnesses for multi-objective queries in Markov decision processes (2024). arXiv: 2406.08175 [cs.LO]
4. Baier, C., Chau, C., Klüppelholz, S.: Certificates and witnesses for multi-objective queries in markov decision processes - QEST 2024 Artefact (2024). https://doi.org/10.5281/zenodo.10961960
5. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008). ISBN 0-262-02649-X