113 citations · 191 across the 11 of their papers we have counts for
12 papers
Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems
Robert J. Moss, Ritchie Lee, Nicholas Visser +3
To find failure events and their likelihoods in flight-critical systems, we investigate the use of an advanced black-box stress testing approach called adaptive stress testing. We…
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…
Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition
Anthony Corso, Ritchie Lee, Mykel J. Kochenderfer
An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be ine…
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing
Kyle D. Julian, Ritchie Lee, Mykel J. Kochenderfer
Neural networks have become state-of-the-art for computer vision problems because of their ability to efficiently model complex functions from large amounts of data. While neural n…
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…
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena +5
Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collisi…