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

Wojciech Jamroga Peter Y. A. Ryan Yan Kim

Published in: CoRR (2022)

Keyphrases

technical aspects
voting schemes
technical issues
databases
presidential election
advanced modeling
neural network
model checking
face verification