Carnegie Mellon University, Pittsburgh, PA, USA; Carnegie Mellon University and NASA Ames, Moffett Field, CA, USA
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina Pasareanu
verification;robustness;safety
Fast Geometric Projections for Local Robustness Certification