🤖 machine learning
Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
本文证明了利用边界传播进行形式化验证可以高效地证明自动驾驶车辆在未测试扰动条件下的端到端转向鲁棒性，通过在无需额外驾驶任务的情况下识别潜在故障，为传统的基于仿真的测试提供了一种可行的补充方案。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。