research
∙
07/27/2021
Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm
Validating the safety of autonomous systems generally requires the use o...
share
research
∙
05/06/2020
A Survey of Algorithms for Black-Box Safety Validation
Autonomous and semi-autonomous systems for safety-critical applications ...
research
∙
04/15/2020
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
With the recent wave of progress in artificial intelligence (AI) has com...
research
∙
04/08/2020
The Adaptive Stress Testing Formulation
Validation is a key challenge in the search for safe autonomy. Simulatio...
research
∙
04/08/2020
Adaptive Stress Testing without Domain Heuristics using Go-Explore
Recently, reinforcement learning (RL) has been used as a tool for findin...
research
∙
07/16/2019
Efficient Autonomy Validation in Simulation with Adaptive Stress Testing
During the development of autonomous systems such as driverless cars, it...
research
∙
02/05/2019