研究论文 · 2023

由规范引导的自动驾驶关键场景识别

Specification-Guided Critical Scenario Identification for Automated Driving

Adam Molin, Edgar A. Aguilar, Dejan Ničković, Mengjia Zhu, Alberto Bemporad, Hasan Esen · Springer International Publishing · English

资料概述

该案例研究使用形式化规范引导自动驾驶关键场景识别。框架整合场景描述、测试、形式化方法与优化的开源库，以系统搜索驾驶环境。

以下为 arXiv 上作者提供的信息。

Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000

版本: arXiv v1 — manuscript revision