연구논문 · 2023
명세 기반 자동화 주행 안전 중요 시나리오 식별
Specification-Guided Critical Scenario Identification for Automated Driving
자료 개요
이 사례 연구는 형식 명세를 이용해 자동화 주행의 안전 중요 시나리오 탐색을 유도한다. 시나리오 명세, 시험, 형식기법 및 최적화를 지원하는 오픈소스 라이브러리를 하나의 프레임워크로 연결한다.
원문 저자 기재 정보
arXiv의 저자 기재 정보입니다.
Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000
판본: arXiv v1 — manuscript revision