Hierarchical Verification for Adversarial Robustness.

Cong Han Lim Raquel Urtasun Ersin Yumer

Published in: CoRR (2020)

Keyphrases

multi agent
model checking
coarse to fine
hierarchical structure
real time
computer vision
hierarchical structures
computational efficiency
formal analysis
high robustness
person identification
hierarchical representation
hierarchical model
face verification
face detection
artificial neural networks
data sets