Formal Verification of Deep Neural Networks for Object Detection

Deep neural networks (DNNs) are widely used in real-world applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a systematic approach to identify and mitigate these vulnerabilities, enhancing model robustness and reliability. While most existing verif...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-11
Hauptverfasser:	Elboher, Yizhak Y, Raviv, Avraham, Yael Leibovich Weiss, Cohen, Omer, Assa, Roy, Katz, Guy, Kugler, Hillel
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial neural networks Computer vision Errors Image classification Neural networks Object recognition Telematics Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!