75 citations · 330 across the 33 of their papers we have counts for
1 paper · 2 filters
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…