TY - RPRT TI - AGNES: Abstraction-guided Framework for Deep Neural Networks Security AU - Akshay Dhonthi AU - Marcello Eiermann AU - Ernst Moritz Hahn AU - Vahid Hashemi PY - 2023 DO - 10.1007/978-3-031-50521-8_6 UR - https://arxiv.org/abs/2311.04009 ID - 2311.04009 ER -