Modal Characterisations of Behavioural Pseudometrics

Yuxin Deng, Wenjie Du, Daniel Gebler

For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one…