The Adaptive Stress Testing Formulation
arXiv (Cornell University)2020
Citations Over Time
Abstract
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, approximate validation methods are needed to tractably find failures without unsafe simplifications. This paper presents the theory behind one such black-box approach: adaptive stress testing (AST). We also provide three examples of validation problems formulated to work with AST.
Related Papers
- → Simple endotrivial modules for quasi-simple groups(2013)26 cited
- → Fundamental relations in simple and 0-simple semihypergroups of small size(2012)8 cited
- → New Characterizations of Simple Points, Minimal Non-simple Sets and P-Simple Points in 2D, 3D and 4D Discrete Spaces(2008)6 cited
- The [0-Simple] Simple Subsemigroups of Nonnegative Matrices(2000)