자율주행에서 위험한 기동이 거부(veto)된 뒤, 그 기동을 합법적이고 감사 가능하며 책임 범위가 명확한 방식으로 '수리(repair)'할 수 있는지를 증명서로 보장하는 CARVE 아키텍처를 제안했다. CARVE는 예측 없이 유한한 수리 격자를 구성하고 적용 규칙, 협력 범위, 책임 가중 비용 분담, 자차 단독 폴백을 기록한 구조화된 증명서를 발급한다. 다중 소유자 수리는 곱 격자 M으로 폭증하는데, CARVE-Q는 안전 권한은 고전적으로 유지한 채 이 블랙박스 격자에만 양자 최소값 탐색(Durr-Hoyer/Grover)을 적용해 고전적 Θ(M) 대신 O(√M) 질의로 해결한다. 최대 65,536개 할당까지 상태벡터 시뮬레이션으로 시연했고 INTERACTION 데이터 재현에서 통행우선권 100% 준수, 책임 일관성 100%, 우선순위 오탐 0을 달성했다.
- •CARVE는 거부된 기동에 대해 규칙·협력 범위·비용 분담·폴백을 기록한 구조화된 증명서를 발급하는 예측 불필요 수리 아키텍처
- •다중 소유자 수리가 유발하는 곱 격자 M이 계산 병목
- •CARVE-Q는 안전 권한은 고전적으로 두고 블랙박스 격자에만 양자 최소값 탐색을 적용해 O(√M) 질의로 단축
- •증명서 건전성·우선순위 비유출·블랙박스 질의 분리 등을 이론적으로 증명
- •INTERACTION 재현에서 통행우선권 100% 준수, 책임 일관성 100%, 우선순위 오탐 0 달성
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair
- 1.거부된 주행 기동의 합법·감사가능 수정을 인증하는 CARVE 아키텍처 제안
- 2.수정 격자와 구속 규칙·우선권·비용 분담·폴백을 담은 구조화 인증서 발급
- 3.CARVE-Q는 양자 최소값 탐색을 격자 검색에만 적용, 안전 권한은 고전 유지
- 4.최대 65,536개 할당 실증, INTERACTION 재현서 우선권 100% 준수 검증
왜 중요한가?
자율주행에서 예측·게임이론 플래너가 협력안을 제시해도 안전 규칙 준수 증명을 내놓지 못하던 한계를, 양자는 제안하고 고전이 인증하는 신뢰경계형 패턴으로 해결한 점이 차별적이다.
자율주행 차량의 안전 문제 해결에 있어 단순히 주행을 막는 것을 넘어, 안전하지 않은 상황을 합법적이고 감사 가능한 방식으로 '수리'하는 방법을 제시합니다. 양자 기술의 제안과 고전적 검증을 결합한 이 접근 방식은 국내 자율주행 기술의 신뢰성을 높이는 데 필수적이며, 관련 법규 및 책임 소재 논의에도 중요한 시사점을 제공할 것입니다. 국내 자율주행 산업과 양자 기술 연구 분야 모두에 주목할 만한 발전 방향을 제시합니다.
본문 미리보기
arXiv:2606.06531v1 Announce Type: new Abstract: The critical question after a correct driving veto is not only whether a maneuver is unsafe, but whether the blocked interaction admits a lawful, auditable, and responsibility-bounded repair. Prediction and game-theoretic planners can suggest plausible cooperation, yet they do not return a proof that the repair respects hard rules, right-of-way, cost allocation, and ego fallback. We introduce CARVE, Certified Affordable Repair of Vetoed maneuvers
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:12AI 초안
