AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. - Akshay Dhonthi; Marcello Eiermann; Ernst Moritz Hahn; Vahid Hashemi (VMCAI (2), 2024)