Search

• < Previous
• 1
• Next >

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount&nbsp;[&hellip;]