skip to main content

This content will become publicly available on January 1, 2023

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