| 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 | 417 | 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 | 44 | 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 | 35 | 2021 |
| Generating probabilistic safety guarantees for neural network controllers SM Katz, KD Julian, CA Strong, MJ Kochenderfer Machine Learning, 1-29, 2021 | 8 | 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 |
Mykel J. KochenderferAssociate Professor, Stanford University在 stanford.edu 的电子邮件经过验证
