Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen

Published in: CAV (2) (2024)

Keyphrases

model checking
asynchronous circuits
neural network
face verification
formal methods
feature selection
formal analysis
real time
data sets
learning algorithm
decision trees
image segmentation
multiscale
input image
edge detection
gray value