@misc{indiciaea314c34a3baa,
  title = {AGNES: Abstraction-guided Framework for Deep Neural Networks Security},
  author = {Akshay Dhonthi and Marcello Eiermann and Ernst Moritz Hahn and Vahid Hashemi},
  year = {2023},
  doi = {10.1007/978-3-031-50521-8\_6},
  url = {https://arxiv.org/abs/2311.04009},
  note = {Source identifier: 2311.04009}
}