面向自动驾驶的规范引导关键场景识别
最优化与控制
2023-03-10 v1
摘要
为测试自动驾驶系统，我们提出一项以形式化规范引导寻找驾驶环境中关键场景的案例研究。为此，我们设计了一个关键场景识别框架，其基于结合场景规范、测试、形式化方法与优化的开源库。
引用
@article{arxiv.2303.05139,
title = {Specification-Guided Critical Scenario Identification for Automated Driving},
author = {Adam Molin and Edgar A. Aguilar and Dejan Ničković and Mengjia Zhu and Alberto Bemporad and Hasan Esen},
journal= {arXiv preprint arXiv:2303.05139},
year = {2023}
}