219 citations · 232 across the 3 of their papers we have counts for
5 papers
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…
Adaptive Stress Testing for Autonomous Vehicles
Mark Koren, Saud Alsaif, Ritchie Lee +1
This paper presents a method for testing the decision making systems of autonomous vehicles. Our approach involves perturbing stochastic elements in the vehicle's environment until…