Sign in
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
Mahyar Fazlyab
Manfred Morari
George J. Pappas
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
semidefinite programming
neural network
semidefinite
quadratic function
pairwise
data sets
artificial neural networks
least squares
linear programming
kernel matrix
support vector
pattern recognition
computational complexity
data analysis
constrained optimization
maximum margin