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
1612021
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
1192019
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
232020
The adaptive stress testing formulation
M Koren, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2004.04293, 2020
192020
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
162020
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
Nasa uli aircraft taxi dataset
SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ...
2021, stanford Research Data, 2021
62021
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
52023
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
A POMDP Model for Safe Geological Carbon Sequestration
A Corso, Y Wang, M Zechner, J Caers, MJ Kochenderfer
arXiv preprint arXiv:2212.00669, 2022
42022
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
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
32014
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
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
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
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
12023
Model-based Validation as Probabilistic Inference
H Delecki, A Corso, M Kochenderfer
Learning for Dynamics and Control Conference, 825-837, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20