Kantorovich Functors and Characteristic Logics for Behavioural Distances

Sergey Goncharov, Dirk Hofmann, Pedro Nora +2

Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to be…