TY  - RPRT
TI  - Global Optimization of Objective Functions Represented by ReLU Networks
AU  - Christopher A. Strong
AU  - Haoze Wu
AU  - Aleksandar Zeljić
AU  - Kyle D. Julian
AU  - Guy Katz
AU  - Clark Barrett
AU  - Mykel J. Kochenderfer
PY  - 2021
UR  - https://arxiv.org/abs/2010.03258
ID  - 2010.03258
ER  -