research
∙
03/25/2022
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
We propose a notion of alternating bisimulation for strategic abilities ...
share
research
∙
12/08/2020
Modular Analysis of Tree-Topology Models
We investigate networks of automata that synchronise over common action ...
research
∙
07/01/2019
Parametric Verification: An Introduction
This paper constitutes a short introduction to parametric verification o...
research
∙
12/08/2016