| A survey of algorithms for black-box safety validation of cyber-physical systems A Corso, R Moss, M Koren, R Lee, M Kochenderfer Journal of Artificial Intelligence Research 72, 377–428-377–428, 2021 | 72* | 2021 |
| Adaptive stress testing with reward augmentation for autonomous vehicle validatio A Corso, P Du, K Driggs-Campbell, MJ Kochenderfer 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 163-168, 2019 | 58 | 2019 |
| The adaptive stress testing formulation M Koren, A Corso, MJ Kochenderfer arXiv preprint arXiv:2004.04293, 2020 | 11 | 2020 |
| An electrostatic method to model the expansion of hypervelocity impact plasma on positively biased surfaces P Tarantino, A Goel, A Corso, N Lee, S Close Physics of Plasmas 25 (9), 092103, 2018 | 11 | 2018 |
| Verification of image-based neural network controllers using generative models SM Katz, AL Corso, CA Strong, MJ Kochenderfer 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-10, 2021 | 8 | 2021 |
| Interpretable safety validation for autonomous vehicles A Corso, MJ Kochenderfer 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 7 | 2020 |
| Scalable autonomous vehicle safety validation through dynamic programming and scene decomposition A Corso, R Lee, MJ Kochenderfer 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 6 | 2020 |
| Robust, real-time, digital focusing for FD-OCM using ISAM on a GPU LRS Marie, FA An, AL Corso, JT Grasel, RC Haskell Optical Coherence Tomography and Coherence Domain Optical Methods in …, 2014 | 2 | 2014 |
| Risk-Driven Design of Perception Systems AL Corso, SM Katz, C Innes, X Du, S Ramamoorthy, MJ Kochenderfer arXiv preprint arXiv:2205.10677, 2022 | | 2022 |
| Verifying Inverse Model Neural Networks C Sidrane, S Katz, A Corso, MJ Kochenderfer arXiv preprint arXiv:2202.02429, 2022 | | 2022 |
| Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems. AK Reuel, M Koren, A Corso, MJ Kochenderfer SafeAI@ AAAI, 2022 | | 2022 |
| ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs CA Strong, SM Katz, AL Corso, MJ Kochenderfer NASA Formal Methods Symposium, 299-317, 2022 | | 2022 |
| Transfer Learning for Efficient Iterative Safety Validation A Corso, MJ Kochenderfer Proceedings of the AAAI Conference on Artificial Intelligence 35 (8), 7125-7132, 2021 | | 2021 |
| Algorithms for Black-Box Safety Validation A Corso Stanford University, 2021 | | 2021 |
| Autonomous Vehicle Risk Assessment RJ Moss, S Gupta, RD ASL, KL ASL, MJ Kochenderfer, GX Gao, MP ASL, ... | | |
