A Cascade of Checkers for Run-time Certification of Local Robustness
Authors: Ravi Mangal and Corina Pasareanu
Paper Information
| Title: | A Cascade of Checkers for Run-time Certification of Local Robustness |
| Authors: | Ravi Mangal and Corina Pasareanu |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural networks, Local robustness, Run-time checks |
| Pages: | 14 |
| Talk: | Jul 31 11:30 (Session 10E) |
| Paper: |  |