Shahar Shabelman

According to our database, Shahar Shabelman authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting Few-Pixel Robustness Verification via Covering Verification Designs.

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024