1 paper
Jonas Forster, Lutz Schröder, Paul Wild +4
Behavioural metrics provide a quantitative refinement of classical two-valued behavioural equivalences on systems with quantitative data, such as metric or probabilistic transition…