Adaptive Stress Testing for Autonomous Vehicles. - Mark Koren; Saud Alsaif; Ritchie Lee; Mykel J. Kochenderfer (Intelligent Vehicles Symposium, 2018)

Efficient Autonomy Validation in Simulation with Adaptive Stress Testing. - Mark Koren; Mykel J. Kochenderfer (ITSC, 2019)

Adaptive Stress Testing without Domain Heuristics using Go-Explore. - Mark Koren; Mykel J. Kochenderfer (ITSC, 2020)

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

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. - Miles Brundage; Shahar Avin; Jasmine Wang; Haydn Belfield; Gretchen Krueger; Gillian K. Hadfield; Heidy Khlaaf; Jingying Yang; Helen Toner; Ruth Fong; Tegan Maharaj; Pang Wei Koh; et al. (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)

Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm. - Mark Koren; Ahmed Nassar; Mykel J. Kochenderfer (IROS, 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)