AGNES: Abstraction-Guided Framework for Deep Neural Networks Security

von Dhonthi, Akshay
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)