Formal Verification of Deep Neural Networks for Object Detection

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Elboher, Yizhak Y., Raviv, Avraham, Weiss, Yael Leibovich, Cohen, Omer, Assa, Roy, Katz, Guy, Kugler, Hillel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computer Vision and Pattern Recognition
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2407.01295