Verifying Table-Based Elections.

David A. Basin Jannik Dreier Sofia Giampietro Sasa Radomirovic

Published in: CCS (2021)

Keyphrases

model checking
database
databases
information systems
artificial neural networks
evolutionary algorithm
voting schemes
machine learning
artificial intelligence
image processing
high level