Robustness Verification for Object Detectors Using Set-Based Reachability Analysis. - Sayak Chowdhury; Hardik Khandelwal; Meenakshi D'Souza (ICANN (2), 2025)