Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen

Published in: CoRR (2024)

Keyphrases

model checking
signature verification
formal verification
artificial intelligence
real time
computer vision
ensemble learning
formal methods
fingerprint verification
verification method