Christopher A. Strong

According to our database, Christopher A. Strong authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Mach. Learn., October, 2023

Generating probabilistic safety guarantees for neural network controllers.

Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer

Mach. Learn., 2023

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., September, 2022

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.

Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

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