96 citations · 99 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CV2024★ 2 cited
Towards Formal Verification of Deep Neural Networks for Object Detection
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss +8
Deep neural networks (DNNs) are widely used in real-world computer vision applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a s…
cs.CV2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Yizhak Elboher, Raya Elsaleh, Omri Isac +6
As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot work…