论文标题
自适应应力测试配方
The Adaptive Stress Testing Formulation
论文作者
论文摘要
验证是寻求安全自治的关键挑战。仿真通常太简单，无法提供可靠的验证，或者太复杂而无法进行计算。因此，需要进行近似验证方法，以便在没有不安全简化的情况下易于找到失败。本文介绍了这种黑框方法背后的理论：自适应应力测试（AST）。我们还提供了为与AST合作的验证问题的三个示例。
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.
