14 citations · 14 across the 1 of their papers we have counts for
1 paper
Franck van Breugel, Babita Sharma, James Worrell
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue…