Zespół badawczy zaprezentował CARVE-Q, architekturę certyfikacji do naprawy zablokowanych manewrów sterowania w pojazdach autonomicznych. Gdy system odrzuci proponowany manewr jako niebezpieczny, CARVE-Q nie tylko sygnalizuje problém, ale konstruuje certyfikat zawierający legalną alternatywę wraz z dowodem, że spełnia ona wszystkie wymagania bezpieczeństwa, prawo drogi i odpowiednią alokację kosztów między uczestnikami ruchu.
Głównym wyzwaniem jest to, że gdy w decyzji uczestniczy wielu aktorów (samochód, piesi, inni pojazdy), liczba możliwych napraw rośnie wykładniczo — co stanowi produkt sieciowy (product lattice). Tu wkracza innowacja: CARVE-Q używa algorytmu Grövera do wyszukiwania minimum na tej czarnej skrzynce, redukując zapotrzebowanie na zapytania z O(M) do O(√M). Wszystkie aspekty bezpieczeństwa pozostają jednak w sferze klasycznej — kwantowe przyspieszenie jest tylko warstwą optymalizacyjną, co gwarantuje weryfikowalność całego procesu.
To przełom dla autonomicznych systemów jazdy, ponieważ pozwala na audytowalne i odpowiadające za swoje decyzje systemy — każda naprawa jest dokumentowana i możliwa do weryfikacji. Kombinacja certyfikacji klasycznej z kwantowym przyspieszeniem otwiera drogę do bardziej skalowanych rozwiązań w złożonych scenariuszach ruchu drogowego.