Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove

Menuka Ghalan, Charles Rodgers, Zachary D. Asher

AI-based automated vehicle testing is challenging because a model that passes every test condition can still fail in the real world. Formal verification offers a way to directly ad…