Anthony Corso
TerraMetrics (United States)(US)Stanford University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Adversarial Robustness in Machine Learning, Reinforcement Learning in Robotics, Software Reliability and Analysis Research, Autonomous Vehicle Technology and Safety
Most-Cited Works
- → A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems(2021)101 cited
- → Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validatio(2019)86 cited
- A Survey of Algorithms for Black-Box Safety Validation.(2020)
- → Verification of Image-Based Neural Network Controllers Using Generative Models(2022)22 cited
- → Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation(2019)21 cited
- → An electrostatic method to model the expansion of hypervelocity impact plasma on positively biased surfaces(2018)15 cited
- → The Adaptive Stress Testing Formulation(2020)9 cited
- → Interpretable Safety Validation for Autonomous Vehicles(2020)7 cited
- → Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent(2023)6 cited