Strong, Christopher A.

2 publications

MLJ 2023 Generating Probabilistic Safety Guarantees for Neural Network Controllers Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer

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