@misc{indiciae17a7024cb07a,
  title = {Neural Network Robustness as a Verification Property: A Principled Case Study},
  author = {Marco Casadio and Ekaterina Komendantskaya and Matthew L. Daggitt and Wen Kokke and Guy Katz and Guy Amir and Idan Refaeli},
  year = {2022},
  url = {https://arxiv.org/abs/2104.01396},
  note = {Source identifier: 2104.01396}
}