Search Results for author: Anthony Corso

Found 15 papers, 3 papers with code

A Holistic Assessment of the Reliability of Machine Learning Systems

no code implementations20 Jul 2023 Anthony Corso, David Karamadian, Romeo Valentin, Mary Cooper, Mykel J. Kochenderfer

As machine learning (ML) systems increasingly permeate high-stakes settings such as healthcare, transportation, military, and national security, concerns regarding their reliability have emerged.

Adversarial Robustness Out-of-Distribution Detection

Reflections from the Workshop on AI-Assisted Decision Making for Conservation

no code implementations17 Jul 2023 Lily Xu, Esther Rolf, Sara Beery, Joseph R. Bennett, Tanya Berger-Wolf, Tanya Birch, Elizabeth Bondi-Kelly, Justin Brashares, Melissa Chapman, Anthony Corso, Andrew Davies, Nikhil Garg, Angela Gaylard, Robert Heilmayr, Hannah Kerner, Konstantin Klemmer, Vipin Kumar, Lester Mackey, Claire Monteleoni, Paul Moorcroft, Jonathan Palmer, Andrew Perrault, David Thau, Milind Tambe

In this white paper, we synthesize key points made during presentations and discussions from the AI-Assisted Decision Making for Conservation workshop, hosted by the Center for Research on Computation and Society at Harvard University on October 20-21, 2022.

Decision Making

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations

no code implementations31 May 2023 Robert J. Moss, Anthony Corso, Jef Caers, Mykel J. Kochenderfer

Real-world planning problems$\unicode{x2014}$including autonomous driving and sustainable energy applications like carbon storage and resource exploration$\unicode{x2014}$have recently been modeled as partially observable Markov decision processes (POMDPs) and solved using approximate methods.

Autonomous Driving Decision Making

Model-based Validation as Probabilistic Inference

1 code implementation17 May 2023 Harrison Delecki, Anthony Corso, Mykel J. Kochenderfer

Estimating the distribution over failures is a key step in validating autonomous systems.

Bayesian Inference

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System

1 code implementation26 Apr 2023 Alessandro Pinto, Anthony Corso, Edward Schmerling

We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system.

Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent

no code implementations23 Dec 2022 Arec Jamgochian, Anthony Corso, Mykel J. Kochenderfer

Rather than augmenting rewards with penalties for undesired behavior, Constrained Partially Observable Markov Decision Processes (CPOMDPs) plan safely by imposing inviolable hard constraint value budgets.

A POMDP Model for Safe Geological Carbon Sequestration

no code implementations25 Oct 2022 Anthony Corso, Yizheng Wang, Markus Zechner, Jef Caers, Mykel J. Kochenderfer

This POMDP model can be used as a test bed to drive the development of novel decision-making algorithms for CCS operations.

Decision Making

Verifying Inverse Model Neural Networks

no code implementations4 Feb 2022 Chelsea Sidrane, Sydney Katz, Anthony Corso, Mykel J. Kochenderfer

When the forward model that produced the observations is nonlinear and stochastic, solving the inverse problem is very challenging.

Transfer Learning for Efficient Iterative Safety Validation

no code implementations9 Dec 2020 Anthony Corso, Mykel J. Kochenderfer

Safety validation is important during the development of safety-critical autonomous systems but can require significant computational effort.

Autonomous Driving reinforcement-learning +2

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

no code implementations6 May 2020 Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment.

Autonomous Vehicles Problem Decomposition

Interpretable Safety Validation for Autonomous Vehicles

2 code implementations14 Apr 2020 Anthony Corso, Mykel J. Kochenderfer

Our methodology is demonstrated for the safety validation of an autonomous vehicle in the context of an unprotected left turn and a crosswalk with a pedestrian.

Autonomous Driving

Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition

no code implementations14 Apr 2020 Anthony Corso, Ritchie Lee, Mykel J. Kochenderfer

In this work, we present a new safety validation approach that attempts to estimate the distribution over failures of an autonomous policy using approximate dynamic programming.

Autonomous Driving Open-Ended Question Answering

The Adaptive Stress Testing Formulation

no code implementations8 Apr 2020 Mark Koren, Anthony Corso, Mykel J. Kochenderfer

Validation is a key challenge in the search for safe autonomy.

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation

no code implementations2 Aug 2019 Anthony Corso, Peter Du, Katherine Driggs-Campbell, Mykel J. Kochenderfer

Determining possible failure scenarios is a critical step in the evaluation of autonomous vehicle systems.

Cannot find the paper you are looking for? You can Submit a new open access paper.