Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
This paper demonstrates that formal verification using bound propagation can efficiently prove end-to-end steering robustness across untested disturbance conditions in automated vehicles, offering a viable complement to traditional simulation-based testing by identifying potential failures without requiring additional driving campaigns.
Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer
Drowning in papers in your field?
Get daily digests of the most novel papers matching your research keywords — with technical summaries, in your language.