8 citations · 8 across the 1 of their papers we have counts for
1 paper
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic…