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

Este artículo presenta CARVE y CARVE-Q, arquitecturas para la reparación interactiva certificada de maniobras de conducción vetadas. Se centra en asegurar que las reparaciones respeten las reglas y responsabilidades, abordando la complejidad de la reparación multi-propietario e introduciendo una solución propuesta cuántica.