第一届自动驾驶形式化验证研讨会会议录
系统与控制
2017-09-08 v1 人工智能
摘要
这些是自动驾驶形式化验证研讨会的会议录，该研讨会于 2017 年 9 月 19 日在意大利都灵举行，作为国际集成形式化方法会议（iFM 2017）的附属研讨会。研讨会旨在汇聚来自形式化验证领域的研究人员（他们正为自动驾驶开发形式化方法）以及例如控制理论或机器人领域工作、对应用验证技术设计和开发自动驾驶感兴趣的研究人员。
引用
@article{arxiv.1709.02126,
title = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles},
author = {Lukas Bulwahn and Maryam Kamali and Sven Linker},
journal= {arXiv preprint arXiv:1709.02126},
year = {2017}
}