Christopher A. Strong, Haoze Wu 0001, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer. Global optimization of objective functions represented by ReLU networks. Machine Learning, 112(10):3685-3712, October 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.