Formal Verification of Object Detection. - Avraham Raviv; Yizhak Yisrael Elboher; Michelle Aluf-Medina; Yael Leibovich Weiss; Omer Cohen; Roy Assa; Guy Katz; Hillel Kugler (CoRR, 2024)