Skip to content

Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen

VenueA*CAV
Year2024
ProceedingsCAV (2)

Browse the full CAV paper archive.