인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
피인용 0
초록·키워드
Chain-of-Causation (CoC) explanations from vision-language driving models may omit when an obligation ends. We link obligations to release conditions and condition-specific evidence, distinguish confirmed contradictions from insufficient evidence, and report the first issue event. UPPAAL observers process authored symbolic frames. In 40 legacy pairs, a memoryless checker missed cross-event errors (20/40 versus 40/40). On 144 authored scenarios, a single-obligation checker matched 96/144 expected decisions; after failure analysis, the condition-linked model matched 144/144 on the same cases, tying a finite-state machine. In 81 authored boundary cases with supplied links, retaining state matched all expected decisions; resetting state judged 41 of 44 contradictions compatible. Bounded enumeration of 35,042,928 event sequences, used to reduce circularity from case selection, matched a separate formula evaluator. Four reviewers disagreed on 27 natural scenes (Fleiss’ κ = 0.027); without independent reference labels, natural accuracy is not reported. These results demonstrate feasibility on authored inputs, not vehicle safety.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
