Christopher A. Strong

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Discriminatively Trained

Generative Model

Top Venues

J. Aerosp. Inf. Syst.

Found. Trends Optim.

Publications

Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global optimization of objective functions represented by ReLU networks. Mach. Learn. 112 (10) (2023)
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
Generating probabilistic safety guarantees for neural network controllers. Mach. Learn. 112 (8) (2023)
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. NFM (2022)
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
Verification of Image-Based Neural Network Controllers Using Generative Models. J. Aerosp. Inf. Syst. 19 (9) (2022)
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. CoRR (2021)
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer
Algorithms for Verifying Deep Neural Networks. Found. Trends Optim. 4 (3-4) (2021)
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
Verification of Image-based Neural Network Controllers Using Generative Models. CoRR (2021)
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
Generating Probabilistic Safety Guarantees for Neural Network Controllers. CoRR (2021)
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global Optimization of Objective Functions Represented by ReLU Networks. CoRR (2020)