Christopher A. Strong - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	481	481
h-index	4	4
i10-index	3	3

0

160

80

40

120

2020202120222023202439 80 149 155 37

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityVerified email at stanford.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Haoze WuPhD Student, Stanford UniversityVerified email at stanford.edu

Christopher A. Strong

Christopher A. Strong

University of California, Berkeley

Verified email at berkeley.edu

neural network verification intelligent systems safety critical systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021	398	2021
Verification of image-based neural network controllers using generative models SM Katz, AL Corso, CA Strong, MJ Kochenderfer Journal of Aerospace Information Systems 19 (9), 574-584, 2022	40	2022
Global optimization of objective functions represented by ReLU networks CA Strong, H Wu, A Zeljić, KD Julian, G Katz, C Barrett, MJ Kochenderfer Machine Learning, 1-28, 2021	33	2021
Generating probabilistic safety guarantees for neural network controllers SM Katz, KD Julian, CA Strong, MJ Kochenderfer Machine Learning, 1-29, 2021	7	2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs CA Strong, SM Katz, AL Corso, MJ Kochenderfer NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022	3	2022

The system can't perform the operation now. Try again later.

Articles 1–5