@article{strong2021global,
  title={Global optimization of objective functions represented by ReLU networks},
  author={Strong, Christopher A and Wu, Haoze and Zelji{\'c}, Aleksandar and Julian, Kyle D and Katz, Guy and Barrett, Clark and Kochenderfer, Mykel J},
  journal={Machine Learning},
  pages={1--28},
  year={2021},
  publisher={Springer}
}