Yizhak Y. Elboher

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Formal Verification

Object Detection

Background Subtraction

Top Venues

Publications

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