Automated Analysis of Voting Systems under an Active Intruder Model in CSP.

Murat Moran James Heather

Published in: CoRR (2017)

Keyphrases

automated analysis
probabilistic model
computational model
object model
machine learning
image processing
expert systems
computer graphics
constraint satisfaction
quantitative analysis
automated detection