9 citations · 25 across the 14 of their papers we have counts for
4 papers · 1 filter
Transfer Learning for Efficient Iterative Safety Validation
Anthony Corso, Mykel J. Kochenderfer
Safety validation is important during the development of safety-critical autonomous systems but can require significant computational effort. Existing algorithms often start from s…
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,…
Interpretable Safety Validation for Autonomous Vehicles
Anthony Corso, Mykel J. Kochenderfer
An open problem for autonomous driving is how to validate the safety of an autonomous vehicle in simulation. Automated testing procedures can find failures of an autonomous system…
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…