Login / Signup
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
Mahyar Fazlyab
Manfred Morari
George J. Pappas
Published in:
CoRR (2019)
Keyphrases
</>
semidefinite programming
neural network
semidefinite
pattern recognition
probabilistic model
quadratic function
symmetric matrix