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