research
∙
05/09/2022
Energy Büchi Problems
We show how to efficiently solve energy Büchi problems in finite weighte...
share
research
∙
04/24/2022
A Generic Approach to Quantitative Verification
This thesis is concerned with quantitative verification, that is, the ve...
research
∙
05/01/2021
lr-Multisemigroups and Modal Convolution Algebras
We show how modal quantales arise as convolution algebras of functions f...
research
∙
11/09/2020
Domain Semirings United
Domain operations on semirings have been axiomatised in two different wa...
research
∙
09/23/2020
Behavioral Specification Theories: an Algebraic Taxonomy
We develop a taxonomy of different behavioral specification theories and...
research
∙
05/12/2020
Featured Games
Feature-based SPL analysis and family-based model checking have seen rap...
research
∙
10/20/2019
Computing Branching Distances Using Quantitative Games
We lay out a general method for computing branching distances between la...
research
∙
12/05/2018
Sculptures in Concurrency
We give a formalization of Pratt's intuitive sculpting process for highe...
research
∙
02/20/2018