@misc{indiciae7ed285283435,
  title = {Verification of Neural Network Surrogates.},
  author = {Haddad, Joshua and Bynum, Michael and Eydenberg, Michael and Blakely, Logan and Kilwein, Zachary and Boukouvala, Fani and Carl, Laird and Jalving, Jordan},
  year = {2021},
  doi = {10.1016/b978-0-323-95879-0.50098-9},
  url = {https://www.osti.gov/biblio/2001657},
  note = {Source identifier: 2001657}
}