{"id":"arxiv/2606.06531","url":"https://arxiv.org/abs/2606.06531","tags":["cs.AI","quant-ph"],"score":0,"title":"CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair","domain":"cs.AI","source":"arxiv","authors":["Yifan Wang"],"reviews":0,"subject":"cs.AI","summary":"The critical question after a correct driving veto is not only whether a maneuver is unsafe, but whether the blocked interaction admits a lawful, auditable, and responsibility-bounded repair. Prediction and game-theoretic planners can suggest plausible cooperation, yet they do not return a proof that the repair respects hard rules, right-of-way, cost allocation, and ego fallback. We introduce CARVE, Certified Affordable Repair of Vetoed maneuvers via Envelopes, a certificate architecture for prediction-free interactive repair. Given a vetoed maneuver, CARVE constructs a finite repair lattice…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-03","reactions":{}}