research
∙
07/19/2022
Quantitative Hennessy-Milner Theorems via Notions of Density
The classical Hennessy-Milner theorem is an important tool in the analys...
share
research
∙
02/14/2022
Quantalic Behavioural Distances
Behavioural distances measure the deviation between states in quantitati...
research
∙
12/23/2021
