| 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 | 183 | 2021 |
| Adaptive stress testing with reward augmentation for autonomous vehicle validation A Corso, P Du, K Driggs-Campbell, MJ Kochenderfer 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 163-168, 2019 | 138 | 2019 |
| 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 | 45 | 2022 |
| Interpretable safety validation for autonomous vehicles A Corso, MJ Kochenderfer 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 28 | 2020 |
| The adaptive stress testing formulation M Koren, A Corso, MJ Kochenderfer arXiv preprint arXiv:2004.04293, 2020 | 21 | 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 | 17 | 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), 2018 | 16 | 2018 |
| Online planning for constrained POMDPs with continuous spaces through dual ascent A Jamgochian, A Corso, MJ Kochenderfer Proceedings of the International Conference on Automated Planning and …, 2023 | 9 | 2023 |
| Human vs. machine: Language models and wargames M Lamparth, A Corso, J Ganz, OS Mastro, J Schneider, H Trinkunas arXiv preprint arXiv:2403.03407, 2024 | 6 | 2024 |
| A holistic assessment of the reliability of machine learning systems A Corso, D Karamadian, R Valentin, M Cooper, MJ Kochenderfer arXiv preprint arXiv:2307.10586, 2023 | 6 | 2023 |
| Model-based Validation as Probabilistic Inference H Delecki, A Corso, M Kochenderfer Learning for Dynamics and Control Conference, 825-837, 2023 | 6 | 2023 |
| A POMDP model for safe geological carbon sequestration A Corso, Y Wang, M Zechner, J Caers, MJ Kochenderfer arXiv preprint arXiv:2212.00669, 2022 | 6 | 2022 |
| NASA ULI aircraft taxi dataset SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ... 2021, stanford Research Data, 2021 | 6 | 2021 |
| BetaZero: Belief-state planning for long-horizon POMDPs using learned approximations RJ Moss, A Corso, J Caers, MJ Kochenderfer arXiv preprint arXiv:2306.00249, 2023 | 5 | 2023 |
| Risk-driven design of perception systems A Corso, S Katz, C Innes, X Du, S Ramamoorthy, MJ Kochenderfer Advances in Neural Information Processing Systems 35, 9894-9906, 2022 | 5 | 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 | 4 | 2022 |
| Reflections from the Workshop on AI-Assisted Decision Making for Conservation L Xu, E Rolf, S Beery, JR Bennett, T Berger-Wolf, T Birch, E Bondi-Kelly, ... arXiv preprint arXiv:2307.08774, 2023 | 3 | 2023 |
| 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 | 3 | 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 | 3 | 2021 |
| AVOIDDS: aircraft vision-based intruder detection dataset and simulator E Smyers, S Katz, A Corso, MJ Kochenderfer Advances in Neural Information Processing Systems 36, 2024 | 2 | 2024 |
