skip to main content


Title: Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
Award ID(s):
1837210
NSF-PAR ID:
10331597
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
IEEE Transactions on Automatic Control
Volume:
67
Issue:
1
ISSN:
0018-9286
Page Range / eLocation ID:
1 to 15
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found