Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach (Journal Article) | NSF PAGES

skip to main content

Citation Details

Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach

Authors:: Ferlez, James; Shoukry, Yasser

Award ID(s):: 2002405 2013824

Publication Date:: 2021-12-14

NSF-PAR ID:: 10321759

Journal Name:: 2021 60th IEEE Conference on Decision and Control (CDC)

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1109/CDC45484.2021.9683375