Verification of STAR-Vote and Evaluation of FDR and ProVerif.

Murat Moran Dan S. Wallach

Published in: IFM (2017)

Keyphrases

evaluation methods
evaluation model
image sequences
multi agent
empirical evaluation
comparative evaluation
genetic algorithm
image processing
case study
three dimensional
multiscale
artificial neural networks
special case
mobile robot
model checking
evaluation criteria