Anthony Corso
Cited by
Cited by
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
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
The adaptive stress testing formulation
M Koren, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2004.04293, 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
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
Interpretable safety validation for autonomous vehicles
A Corso, MJ Kochenderfer
2020 IEEE 23rd International Conference on Intelligent Transportation …, 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
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
Risk-Driven Design of Perception Systems
AL Corso, SM Katz, C Innes, X Du, S Ramamoorthy, MJ Kochenderfer
arXiv preprint arXiv:2205.10677, 2022
Verifying Inverse Model Neural Networks
C Sidrane, S Katz, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2202.02429, 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
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
Transfer Learning for Efficient Iterative Safety Validation
A Corso, MJ Kochenderfer
Proceedings of the AAAI Conference on Artificial Intelligence 35 (8), 7125-7132, 2021
Algorithms for Black-Box Safety Validation
A Corso
Stanford University, 2021
Autonomous Vehicle Risk Assessment
RJ Moss, S Gupta, RD ASL, KL ASL, MJ Kochenderfer, GX Gao, MP ASL, ...
The system can't perform the operation now. Try again later.
Articles 1–15