ResearchTrend.AI
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
v1v2 (latest)

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020

W. Jamroga
Peter Y. A. Ryan
Yan Kim
ArXiv (abs)PDFHTML

Papers citing "Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020"

1 / 1 papers shown
Title
Practical Model Reductions for Verification of Multi-Agent Systems
Practical Model Reductions for Verification of Multi-Agent Systems
W. Jamroga
Yan Kim
19
2
0
19 Jul 2023