Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validatio. - Anthony Corso 001; Peter Du; Katherine Rose Driggs-Campbell; Mykel J. Kochenderfer (ITSC, 2019)

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation. - Anthony Corso 001; Peter Du; Katherine Rose Driggs-Campbell; Mykel J. Kochenderfer (CoRR, 2019)

Interpretable Safety Validation for Autonomous Vehicles. - Anthony Corso 001; Mykel J. Kochenderfer (ITSC, 2020)

Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition. - Anthony Corso 001; Ritchie Lee; Mykel J. Kochenderfer (ITSC, 2020)

The Adaptive Stress Testing Formulation. - Mark Koren; Anthony Corso 001; Mykel J. Kochenderfer (CoRR, 2020)

A Survey of Algorithms for Black-Box Safety Validation. - Anthony Corso 001; Robert J. Moss; Mark Koren; Ritchie Lee; Mykel J. Kochenderfer (CoRR, 2020)

Transfer Learning for Efficient Iterative Safety Validation. - Anthony Corso 001; Mykel J. Kochenderfer (AAAI, 2021)

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems. - Anthony Corso 001; Robert J. Moss; Mark Koren; Ritchie Lee; Mykel J. Kochenderfer (J. Artif. Intell. Res., 2021)

Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems. - Ann-Katrin Reuel; Mark Koren; Anthony Corso 001; Mykel J. Kochenderfer (SafeAI@AAAI, 2022)

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. - Christopher A. Strong; Sydney M. Katz; Anthony L. Corso; Mykel J. Kochenderfer (NFM, 2022)

Risk-Driven Design of Perception Systems. - Anthony Corso 001; Sydney M. Katz; Craig Innes; Xin Du 006; Subramanian Ramamoorthy; Mykel J. Kochenderfer (NeurIPS, 2022)

Verifying Inverse Model Neural Networks. - Chelsea Sidrane; Sydney M. Katz; Anthony Corso 001; Mykel J. Kochenderfer (CoRR, 2022)

A Deep Reinforcement Learning Approach to Rare Event Estimation. - Anthony Corso 001; Kyu-Young Kim; Shubh Gupta; Grace Gao; Mykel J. Kochenderfer (CoRR, 2022)

A POMDP Model for Safe Geological Carbon Sequestration. - Anthony Corso 001; Yizheng Wang; Markus Zechner; Jef Caers; Mykel J. Kochenderfer (CoRR, 2022)

Verification of Image-Based Neural Network Controllers Using Generative Models. - Sydney M. Katz; Anthony L. Corso; Christopher A. Strong; Mykel J. Kochenderfer (J. Aerosp. Inf. Syst., 2022)

Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent. - Arec L. Jamgochian; Anthony Corso 001; Mykel J. Kochenderfer (ICAPS, 2023)

Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. - Alessandro Pinto; Anthony Corso 001; Edward Schmerling (ICAA, 2023)

SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning. - Marc R. Schlichting; Nina V. Boord; Anthony L. Corso; Mykel J. Kochenderfer (ITSC, 2023)

Experience Filter: Using Past Experiences on Unseen Tasks or Environments. - Anil Yildiz; Esen Yel; Anthony L. Corso; Kyle Hollins Wray; Stefan J. Witwicki; Mykel J. Kochenderfer (IV, 2023)

Model-based Validation as Probabilistic Inference. - Harrison Delecki; Anthony Corso 001; Mykel J. Kochenderfer (L4DC, 2023)

AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. - Elysia Q. Smyers; Sydney M. Katz; Anthony Corso 001; Mykel J. Kochenderfer (NeurIPS, 2023)

Optimizing Carbon Storage Operations for Long-Term Safety. - Yizheng Wang; Markus Zechner; Gege Wen; Anthony Louis Corso; John Michael Mern; Mykel J. Kochenderfer; Jef Karel Caers (CoRR, 2023)

Efficient Determination of Safety Requirements for Perception Systems. - Sydney M. Katz; Anthony L. Corso; Esen Yel; Mykel J. Kochenderfer (CoRR, 2023)

Reflections from the Workshop on AI-Assisted Decision Making for Conservation. - Lily Xu; Esther Rolf; Sara Beery; Joseph R. Bennett; Tanya Y. Berger-Wolf; Tanya Birch; Elizabeth Bondi-Kelly; Justin Brashares; Melissa S. Chapman; Anthony Corso 001; Andrew Davies; Nikhil Garg; et al. (CoRR, 2023)

A Holistic Assessment of the Reliability of Machine Learning Systems. - Anthony Corso 001; David Karamadian; Romeo Valentin; Mary Cooper; Mykel J. Kochenderfer (CoRR, 2023)

Human vs. Machine: Behavioral Differences between Expert Humans and Language Models in Wargame Simulations. - Max Lamparth; Anthony Corso 001; Jacob Ganz; Oriana Skylar Mastro; Jacquelyn Schneider; Harold Trinkunas (AIES (1), 2024)

Constrained Hierarchical Monte Carlo Belief-State Planning. - Arec L. Jamgochian; Hugo Buurmeijer; Kyle Hollins Wray; Anthony Corso 001; Mykel J. Kochenderfer (ICRA, 2024)

ConstrainedZero: Chance-Constrained POMDP Planning Using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints. - Robert J. Moss; Arec L. Jamgochian; Johannes Fischer 007; Anthony Corso 001; Mykel J. Kochenderfer (IJCAI, 2024)

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations. - Robert J. Moss; Anthony Corso 001; Jef Caers; Mykel J. Kochenderfer (RLJ, 2024)

Human vs. Machine: Language Models and Wargames. - Max Lamparth; Anthony Corso 001; Jacob Ganz; Oriana Skylar Mastro; Jacquelyn Schneider; Harold Trinkunas (CoRR, 2024)

Diffusion-Based Failure Sampling for Cyber-Physical Systems. - Harrison Delecki; Marc R. Schlichting; Mansur M. Arief; Anthony Corso 001; Marcell Vazquez-Chanlatte; Mykel J. Kochenderfer (CoRR, 2024)

Intelligent prospector v2.0: exploration drill planning under epistemic model uncertainty. - John Mern; Anthony Corso 001; Damian Burch; Kurt House; Jef Caers (CoRR, 2024)

Managing Geological Uncertainty in Critical Mineral Supply Chains: A POMDP Approach with Application to U.S. Lithium Resources. - Mansur M. Arief; Yasmine Alonso; CJ Oshiro; William Xu; Anthony Corso 001; David Zhen Yin; Jef Karel Caers; Mykel J. Kochenderfer (CoRR, 2025)

Conditional Deep Generative Models for Belief State Planning. - Antoine Bigeard; Anthony Corso 001; Mykel J. Kochenderfer (CoRR, 2025)