IoUCert: Robustness Verification for Anchor-Based Object Detectors

Lecture notes in computer science 2026 Open access

Read full text
Authors: Benedikt Brückner, Alejandro J. Mercado, Yanghao Zhang, Panagiotis Kouvaros, Alessio R. Lomuscio
DOI: 10.1007/978-3-032-37574-2_20
Cited by: 0
References: 60

Fields of Study & Subjects

Adversarial Robustness in Machine Learning Advanced Neural Network Applications Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Pages
364–384
Publication date
1 January 2026
Language
EN