1. Lecture Notes in Computer Science;L de Alfaro,2003
2. de Alfaro, L., Majumdar, R., Raman, V., Stoelinga, M.: Game refinement relations and metrics. Log. Methods Comput. Sci. 4(3), 1–28 (2008)
3. Bacci, G., Bacci, G., Larsen, K.G., Mardare, R., Tang, Q., van Breugel, F.: Computing probabilistic bisimilarity distances for probabilistic automata. Log. Methods Comput. Sci. 17(1), 9:1-9:36 (2021)
4. Baier, C.: Algorithmic verification methods for probabilistic systems. Habilitation Thesis, Universität Mannheim (1998). https://www.inf.tu-dresden.de/content/institutes/thi/algi/publikationen/texte/15_98.pdf
5. Bartoletti, M., Murgia, M., Zunino, R.: A sound up-to-$$n$$,$$\delta $$ bisimilarity for PCTL. CoRR abs/2111.03117 (2021)