Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
The overall conclusion is that formal verification is a viable complement to simulation, and could be adopted as a part of verification and validation for automated driving.
Menuka Ghalan, C. Rodgers, Zachary D. Asher
· 1 citation