기술 해설 · 발행일 미표기
TIGARS: ML 형식 검증과 정적 분석의 범위와 한계
2.3.3 Verification of the learned model
자료 개요
자율주행에 쓰이는 ML 모델의 정적 분석과 형식 검증을 검토합니다. 점별 강건성, 기능 명세와 도구 적용 사례를 설명하면서 제한된 입력 영역의 검증 결과가 전체 운행 안전을 뒷받침하는 주장과 어떻게 연결되는지 명확히 해야 한다고 강조합니다.
관련 자료
전체 자료 보기 →기술보고서 · 발행일 미표기