IVEX의 주행 안전 모델·평가·trajectory 검사 구조

자료 개요

Mario Torres는 안전 정책을 형식 모델로 표현하고 시뮬레이션·실주행 로그에서 위반을 찾는 회사의 도구 구조를 소개합니다. 오프라인 평가와 차량 내 trajectory 검사, 모델의 일관성·완전성 검토를 구분합니다.