A Sound Up-to-n, δ Bisimilarity for PCTL.

Massimo Bartoletti, Maurizio Murgia, Roberto Zunino

Browse the full Coordination paper archive.