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

O artigo apresenta CARVE e CARVE-Q, arquiteturas para reparo interativo certificado de manobras de direção vetadas. Foca-se em garantir que os reparos respeitem regras e responsabilidades, abordando a complexidade da reparação multi-proprietário e introduzindo uma solução proposta quântica.