research
∙
02/02/2023
Propositional Logics for the Lawvere Quantale
Lawvere showed that generalised metric spaces are categories enriched ov...
share
research
∙
12/22/2022
Sum and Tensor of Quantitative Effects
Inspired by the seminal work of Hyland, Plotkin, and Power on the combin...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
06/26/2020
Approximating Euclidean by Imprecise Markov Decision Processes
Euclidean Markov decision processes are a powerful tool for modeling con...
research
∙
07/03/2019