Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, and Idan Refaeli.

International Conference on Computer Aided Verification, CAV 2022: Computer Aided Verification, 219–231. 2022