7 citations · 12 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Quantitative Hennessy-Milner Theorems via Notions of Density
Jonas Forster, Sergey Goncharov, Dirk Hofmann +3
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled t…
math.CT2022
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…