research
∙
02/02/2023
Towards Modelling and Verification of Social Explainable AI
Social Explainable AI (SAI) is a new direction in artificial intelligenc...
share
research
∙
03/02/2022
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
We present a substantially expanded version of our tool STV for strategy...
research
∙
07/24/2020
Natural Strategic Abilities in Voting Protocols
Security properties are often focused on the technological side of the s...
research
∙
07/24/2020
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
The design and implementation of an e-voting system is a challenging tas...
research
∙
12/08/2016