研究论文 · 发布 2026.09.10 · 预印本
在测试案例之间的条件下形式化验证端到端转向行为
Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
资料概述
研究对 CARLA 中训练的小型转向网络应用界限传播，分析采样扰动条件之间的转向偏差，探索形式化验证如何补充已执行的仿真测试。
原文作者提供的信息
以下为 arXiv 上作者提供的信息。
10 pages, 7 figures, 2 tables
版本: v1