SAIV 2024
About
Call for Papers
Committees
Program
Talks
Speakers & Authors
Editions
SAIV 2025
SAIV 2024
FoMLAS 2023
WOLVERINE 2023
FoMLAS 2022
WOLVERINE 2022
FoMLAS 2021
WOLVERINE 2021
FoMLAS 2020
FoMLAS 2019
FoMLAS 2018
SAIV 2024
Speaker
Dana Drachsler-Cohen
Talks at this conference:
Tue, 11:00
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Overview
×