Towards Formal Verification of Deep Neural Networks for Object Detection. - Avraham Raviv; Yizhak Yisrael Elboher; Omri Isac; Michelle Aluf-Medina; Ben Hagag; Golan Shmueli; Guy Katz; Hillel Kugler (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)