AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
T. Gehr,M. Mirman,3 Authors,Martin T. Vechev
2018 · DOI: 10.1109/SP.2018.00058
IEEE Symposium on Security and Privacy · 947 Citations