FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: