Algorithms for Verifying Deep Neural Networks. - Changliu Liu; Tomer Arnon; Christopher Lazarus; Christopher A. Strong; Clark W. Barrett; Mykel J. Kochenderfer (Found. Trends Optim., 2021)

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. - Christopher A. Strong; Sydney M. Katz; Anthony L. Corso; Mykel J. Kochenderfer (NFM, 2022)

Verification of Image-Based Neural Network Controllers Using Generative Models. - Sydney M. Katz; Anthony L. Corso; Christopher A. Strong; Mykel J. Kochenderfer (J. Aerosp. Inf. Syst., 2022)

Generating probabilistic safety guarantees for neural network controllers. - Sydney M. Katz; Kyle D. Julian; Christopher A. Strong; Mykel J. Kochenderfer (Mach. Learn., 2023)

Global optimization of objective functions represented by ReLU networks. - Christopher A. Strong; Haoze Wu 001; Aleksandar Zeljic; Kyle D. Julian; Guy Katz; Clark W. Barrett; Mykel J. Kochenderfer (Mach. Learn., 2023)

Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data. - Jason J. Choi; Christopher A. Strong; Koushil Sreenath; Namhoon Cho; Claire J. Tomlin (CoRR, 2025)