research
∙
07/19/2023
Practical Model Reductions for Verification of Multi-Agent Systems
Formal verification of intelligent agents is often computationally infea...
share
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
∙
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
∙
07/24/2020