TY  - RPRT
TI  - Neural Network Robustness as a Verification Property: A Principled Case Study
AU  - Marco Casadio
AU  - Ekaterina Komendantskaya
AU  - Matthew L. Daggitt
AU  - Wen Kokke
AU  - Guy Katz
AU  - Guy Amir
AU  - Idan Refaeli
PY  - 2022
UR  - https://arxiv.org/abs/2104.01396
ID  - 2104.01396
ER  -