TY  - RPRT
TI  - Towards Formal Verification of Deep Neural Networks for Object Detection
AU  - Avraham Raviv
AU  - Yizhak Y. Elboher
AU  - Omri Isac
AU  - Michelle Aluf-Medina
AU  - Ben Hagag
AU  - Golan Shmueli
AU  - Guy Katz
AU  - Hillel Kugler
PY  - 2026
UR  - https://arxiv.org/abs/2407.01295
ID  - 2407.01295
ER  -