219 citations · 346 across the 5 of their papers we have counts for
7 papers
Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm
Mark Koren, Ahmed Nassar, Mykel J. Kochenderfer
Validating the safety of autonomous systems generally requires the use of high-fidelity simulators that adequately capture the variability of real-world scenarios. However, it is g…
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Anthony Corso, Robert J. Moss, Mark Koren +2
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these…
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Miles Brundage, Shahar Avin, Jasmine Wang +56
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations an…
The Adaptive Stress Testing Formulation
Mark Koren, Anthony Corso, Mykel J. Kochenderfer
Validation is a key challenge in the search for safe autonomy. Simulations are often either too simple to provide robust validation, or too complex to tractably compute. Therefore,…
Adaptive Stress Testing without Domain Heuristics using Go-Explore
Mark Koren, Mykel J. Kochenderfer
Recently, reinforcement learning (RL) has been used as a tool for finding failures in autonomous systems. During execution, the RL agents often rely on some domain-specific heurist…
Efficient Autonomy Validation in Simulation with Adaptive Stress Testing
Mark Koren, Mykel Kochenderfer
During the development of autonomous systems such as driverless cars, it is important to characterize the scenarios that are most likely to result in failure. Adaptive Stress Testi…