Login / Signup
Roy Assa
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Object Detection
Background Subtraction
Formal Verification
Top Venues
CoRR
</>
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)