collaborators

1 paper

cs.LO2026

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances

Jonas Forster, Lutz Schröder, Paul Wild +2

Behavioural distances generally offer more fine-grained means of comparing quantitative systems than two-valued behavioural equivalences. They often relate to quantitative modaliti…