Search Results for author: Anthony Corso

Found 21 papers, 10 papers with code

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

no code implementations14 Oct 2024 John Mern, Anthony Corso, Damian Burch, Kurt House, Jef Caers

Planning data acquisition under wrong geological priors is likely to be inefficient since the estimated uncertainty on the target property is incorrect, hence uncertainty may not be reduced at all.

Diffusion-Based Failure Sampling for Cyber-Physical Systems

1 code implementation20 Jun 2024 Harrison Delecki, Marc R. Schlichting, Mansur Arief, Anthony Corso, Marcell Vazquez-Chanlatte, Mykel J. Kochenderfer

Validating safety-critical autonomous systems in high-dimensional domains such as robotics presents a significant challenge.

Denoising

Human vs. Machine: Behavioral Differences Between Expert Humans and Language Models in Wargame Simulations

1 code implementation6 Mar 2024 Max Lamparth, Anthony Corso, Jacob Ganz, Oriana Skylar Mastro, Jacquelyn Schneider, Harold Trinkunas

To test this potential and scrutinize the use of LLMs for such purposes, we use a new wargame experiment with 214 national security experts designed to examine crisis escalation in a fictional U. S.-China scenario and compare the behavior of human player teams to LLM-simulated team responses in separate simulations.

Decision Making

Constrained Hierarchical Monte Carlo Belief-State Planning

1 code implementation30 Oct 2023 Arec Jamgochian, Hugo Buurmeijer, Kyle H. Wray, Anthony Corso, Mykel J. Kochenderfer

Optimal plans in Constrained Partially Observable Markov Decision Processes (CPOMDPs) maximize reward objectives while satisfying hard cost constraints, generalizing safe planning under state and transition uncertainty.

Transcending the Attention Paradigm: Representation Learning from Geospatial Social Media Data

1 code implementation9 Oct 2023 Nick DiSanto, Anthony Corso, Benjamin Sanders, Gavin Harding

While transformers have pioneered attention-driven architectures as a cornerstone of language modeling, their dependence on explicitly contextual information underscores limitations in their abilities to tacitly learn overarching textual themes.

Benchmarking Language Modelling +1

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

1 code implementation31 May 2023 Robert J. Moss, Anthony Corso, Jef Caers, Mykel J. Kochenderfer

BetaZero learns offline approximations that replace heuristics to enable online decision making in long-horizon problems.

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

1 code implementation23 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 Collision Avoidance +2

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

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

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.

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