研究论文 · 发布 2022.10.13 · 预印本
为自动驾驶安全案例提供证据的形式化方法
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
资料概述
论文使用形式化方法证明功能安全需求向反馈回路组件分解的正确性。经证明的组件模型成为需求，为自动驾驶安全案例提供结构化数学证据。
原文作者提供的信息
以下为 arXiv 上作者提供的信息。
8 pages, 3 figures. This work has been submitted to the IEEE for possible publication
版本: v1