Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming - Fazlyab, Mahyar; Morari, Manfred; Pappas, George J. (IEEE transactions on automatic control, 2022)
Keywords: Biological neural networks; Convex optimization; deep neural networks; Machine learning; Neural networks; Perturbation methods; Programming; Robustness; Robustness (mathematics); robustness analysis; Safety; safety verification; Semidefinite programming; semidefinite programming (SDP); Uncertainty; Verification