CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving

Yifan Wang

Interactive driving exposes a failure mode that is easy to miss in rule-aware autonomous-driving stacks: a hard-rule margin can be negative for an ego candidate even though a small…