Anthony Corso

Orcid: 0000-0002-4027-0473

Affiliations:
  • Stanford University, CA, USA


According to our database1, Anthony Corso authored at least 31 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Intelligent prospector v2.0: exploration drill planning under epistemic model uncertainty.
CoRR, 2024

Diffusion-Based Failure Sampling for Cyber-Physical Systems.
CoRR, 2024

Human vs. Machine: Language Models and Wargames.
CoRR, 2024

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations.
RLJ, 2024

ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Constrained Hierarchical Monte Carlo Belief-State Planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023
A Holistic Assessment of the Reliability of Machine Learning Systems.
CoRR, 2023

Reflections from the Workshop on AI-Assisted Decision Making for Conservation.
CoRR, 2023

Efficient Determination of Safety Requirements for Perception Systems.
CoRR, 2023

Optimizing Carbon Storage Operations for Long-Term Safety.
CoRR, 2023

AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Model-based Validation as Probabilistic Inference.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Experience Filter: Using Past Experiences on Unseen Tasks or Environments.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Verification of Image-Based Neural Network Controllers Using Generative Models.
J. Aerosp. Inf. Syst., September, 2022

A POMDP Model for Safe Geological Carbon Sequestration.
CoRR, 2022

A Deep Reinforcement Learning Approach to Rare Event Estimation.
CoRR, 2022

Verifying Inverse Model Neural Networks.
CoRR, 2022

Risk-Driven Design of Perception Systems.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems.
J. Artif. Intell. Res., 2021

Transfer Learning for Efficient Iterative Safety Validation.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
A Survey of Algorithms for Black-Box Safety Validation.
CoRR, 2020

The Adaptive Stress Testing Formulation.
CoRR, 2020

Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Interpretable Safety Validation for Autonomous Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation.
CoRR, 2019

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validatio.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019


  Loading...