30 citations · 31 across the 4 of their papers we have counts for
1 paper · 1 filter
Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer +1
Bisimulation is crucial for verifying process equivalence in probabilistic systems. This paper presents a novel logical framework for analyzing bisimulation in probabilistic parame…