Zeljic, Aleksandar

1 publications

MLJ 2023 Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer