TY  - RPRT
TI  - Verification of Neural Network Surrogates.
AU  - Haddad, Joshua
AU  - Bynum, Michael
AU  - Eydenberg, Michael
AU  - Blakely, Logan
AU  - Kilwein, Zachary
AU  - Boukouvala, Fani
AU  - Carl, Laird
AU  - Jalving, Jordan
PY  - 2021
DO  - 10.1016/b978-0-323-95879-0.50098-9
UR  - https://www.osti.gov/biblio/2001657
ID  - 2001657
ER  -