Neural Network Robustness as a Verification Property: A Principled Case Study
Authors: Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli
Paper Information
| Title: | Neural Network Robustness as a Verification Property: A Principled Case Study |
| Authors: | Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Neural Networks, Adversarial Training, Robustness, Verification |
| Pages: | 13 |
| Talk: | Aug 07 15:20 (Session 90A: Formal Methods for Neural Networks) |
| Paper: |  |