| 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 | 477 | 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 | 63 | 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 | 40 | 2021 |
| Generating probabilistic safety guarantees for neural network controllers SM Katz, KD Julian, CA Strong, MJ Kochenderfer Machine Learning, 1-29, 2021 | 12 | 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 |
| Control theoretical models for visuomotor control explains brain activity during naturalistic driving T Zhang, CA Strong, K Stocking, J Li, C Tomlin, JL Gallant Journal of Vision 24 (10), 1091-1091, 2024 | | 2024 |
| A framework for evaluating human driver models using neuroimaging C Strong, K Stocking, J Li, T Zhang, J Gallant, C Tomlin 6th Annual Learning for Dynamics & Control Conference, 1565-1578, 2024 | | 2024 |
Mykel J. KochenderferAssociate Professor, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu