Global optimization of objective functions represented by ReLU networks

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]

Authors

Christopher A. Strong

This author has not been identified. Look up 'Christopher A. Strong' in Google

Haoze Wu 0001

This author has not been identified. Look up 'Haoze Wu 0001' in Google

Aleksandar Zeljic

This author has not been identified. Look up 'Aleksandar Zeljic' in Google

Kyle D. Julian

This author has not been identified. Look up 'Kyle D. Julian' in Google

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Mykel J. Kochenderfer

This author has not been identified. Look up 'Mykel J. Kochenderfer' in Google