Christopher A. Strong

11 papers Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data.
CDC
Jason J. Choi, Christopher A. Strong, Koushil Sreenath, Namhoon Cho, Claire J. Tomlin
2025 J jnl
Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data.
CoRR
Jason J. Choi, Christopher A. Strong, Koushil Sreenath, Namhoon Cho, Claire J. Tomlin
2023 J jnl
Generating probabilistic safety guarantees for neural network controllers.
Mach. Learn.
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
2023 J jnl
Global optimization of objective functions represented by ReLU networks.
Mach. Learn.
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
2022 J jnl
Verification of Image-Based Neural Network Controllers Using Generative Models.
J. Aerosp. Inf. Syst.
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
2022 — conf
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.
NFM
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
2021 J jnl
Algorithms for Verifying Deep Neural Networks.
Found. Trends Optim.
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer
2021 J jnl
Generating Probabilistic Safety Guarantees for Neural Network Controllers.
CoRR
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
2021 J jnl
Verification of Image-based Neural Network Controllers Using Generative Models.
CoRR
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
2021 J jnl
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.
CoRR
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
2020 J jnl
Global Optimization of Objective Functions Represented by ReLU Networks.
CoRR
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer