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

Diese Arbeit stellt CARVE und CARVE-Q vor, Architekturen für die zertifizierte interaktive Fahrreparatur nach einem blockierten Manöver. Sie konzentriert sich darauf, sicherzustellen, dass Reparaturen strenge Regeln und Verantwortlichkeiten einhalten, und adressiert den algorithmischen Engpass der Mehreigentümerreparatur mit einer quanten-vorgeschlagenen Lösung.