Login / Signup
Naor Wiesel
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Multiscale
Formal Methods
Ensemble Learning
Asynchronous Circuits
Top Venues
CoRR
CAV (2)
</>
Publications
</>
Yuval Shapira
,
Naor Wiesel
,
Shahar Shabelman
,
Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs.
CAV (2)
(2024)
Yuval Shapira
,
Naor Wiesel
,
Shahar Shabelman
,
Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs.
CoRR
(2024)