Follow
Anthony Corso
Title
Cited by
Cited by
Year
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
1642021
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
1222019
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
372022
Interpretable safety validation for autonomous vehicles
A Corso, MJ Kochenderfer
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
222020
The adaptive stress testing formulation
M Koren, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2004.04293, 2020
202020
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
162018
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
152020
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
62023
A POMDP model for safe geological carbon sequestration
A Corso, Y Wang, M Zechner, J Caers, MJ Kochenderfer
arXiv preprint arXiv:2212.00669, 2022
62022
Nasa uli aircraft taxi dataset
SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ...
2021, stanford Research Data, 2021
62021
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
52022
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
32023
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
32022
Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems.
AK Reuel, M Koren, A Corso, MJ Kochenderfer
SafeAI@ AAAI, 2022
32022
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
22024
Model-based Validation as Probabilistic Inference
H Delecki, A Corso, M Kochenderfer
Learning for Dynamics and Control Conference, 825-837, 2023
22023
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
22023
Optimizing Carbon Storage Operations for Long-Term Safety
Y Wang, M Zechner, G Wen, AL Corso, JM Mern, MJ Kochenderfer, ...
arXiv preprint arXiv:2304.09352, 2023
22023
Transfer learning for efficient iterative safety validation
A Corso, MJ Kochenderfer
Proceedings of the AAAI Conference on Artificial Intelligence 35 (8), 7125-7132, 2021
22021
Autonomous Vehicle Risk Assessment
RJ Moss, S Gupta, RD ASL, KL ASL, MJ Kochenderfer, GX Gao, MP ASL, ...
en. In, 39, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20