Sound approximate and asymptotic probabilistic bisimulations for PCTL

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarit…