[2606.02641] CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving
AI disclosure
Summary
Abstract page for arXiv paper 2606.02641: CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving