research
∙
07/19/2023
Practical Model Reductions for Verification of Multi-Agent Systems
Formal verification of intelligent agents is often computationally infea...
share
research
∙
07/06/2023
Pretty Good Strategies for Benaloh Challenge
Benaloh challenge allows the voter to audit the encryption of her vote, ...
research
∙
02/28/2023
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory
Many important properties of multi-agent systems refer to the participan...
research
∙
02/26/2023
Strategic (Timed) Computation Tree Logic
We define extensions of CTL and TCTL with strategic operators, called St...
research
∙
02/02/2023
Towards Modelling and Verification of Social Explainable AI
Social Explainable AI (SAI) is a new direction in artificial intelligenc...
research
∙
10/19/2022
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Voting procedures are designed and implemented by people, for people, an...
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 ...
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
∙
02/24/2022
Practical Abstraction for Model Checking of Multi-Agent Systems
Model checking of multi-agent systems (MAS) is known to be hard, both th...
research
∙
02/03/2021
Convergence Voting: From Pairwise Comparisons to Consensus
An important aspect of AI design and ethics is to create systems that re...
research
∙
01/22/2021
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements
The COVID-19 pandemic has influenced virtually all aspects of our lives....
research
∙
11/16/2020
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips
The COVID-19 pandemic has influenced virtually all aspects of our lives....
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
∙
03/08/2020
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them
Recently, we proposed a framework for verification of agents' abilities ...
research
∙
08/14/2019
Risk-Limiting Tallies
Many voter-verifiable, coercion-resistant schemes have been proposed, bu...
research
∙
12/08/2016