Mar, 2020
自主驾驶汽车的正式场景测试:从仿真到现实世界
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya...
TL;DR本文提出了一种基于形式化方法的智能汽车自动场景测试的新方法,结合仿真和实际测试,并通过实验验证形式化仿真可以有效识别可在跑道上运行的测试用例,仿真和真实世界之间的差距可以得到系统评估和弥合。