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

Cet article présente CARVE et CARVE-Q, des architectures pour la réparation interactive certifiée de manœuvres de conduite refusées. Il se concentre sur la garantie que les réparations respectent les règles et les responsabilités, abordant le goulot d'étranglement algorithmique de la réparation multi-propriétaires avec une solution proposée quantique.