TY  - RPRT
TI  - Verification of Multi-Agent Properties in Electronic Voting: A Case Study
AU  - Damian Kurpiewski
AU  - Wojciech Jamroga
AU  - Łukasz Maśko
AU  - Łukasz Mikulski
AU  - Witold Pazderski
AU  - Wojciech Penczek
AU  - Teofil Sidoruk
PY  - 2025
UR  - https://arxiv.org/abs/2310.15789
ID  - 2310.15789
ER  -