Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
arXiv:2609.10951v1 Announce Type: cross Abstract: AI-based automated vehicle testing is challenging because a model that passes every test condition can still fail in the real world. Formal verificati