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

Overview

The study applies bound propagation to small CARLA-trained steering networks, examining steering deviations between sampled disturbance conditions. It investigates formal verification as a complement to simulation rather than relying only on executed test cases.