Data-driven Verification of DNNs for Object Recognition. - Clemens Otte; Yinchong Yang; Danny Benlin Oswan (CoRR, 2024)