CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair

This paper introduces CARVE and CARVE-Q, architectures for certified interactive driving repair following a vetoed maneuver. It focuses on ensuring repairs adhere to hard rules and responsibilities, addressing the algorithmic bottleneck of multi-owner repair with a quantum-proposed solution.