research
∙
07/27/2023
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Coalgebra, as the abstract study of state-based systems, comes naturally...
share
research
∙
06/02/2023
Quantitative Graded Semantics and Spectra of Behavioural Metrics
Behavioural metrics provide a quantitative refinement of classical two-v...
research
∙
07/19/2022
Quantitative Hennessy-Milner Theorems via Notions of Density
The classical Hennessy-Milner theorem is an important tool in the analys...
research
∙
06/09/2020