研究论文 · 2022.09.27
面向自动驾驶功能复杂系统需求的运行时监控
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
资料概述
这项初步研究用交通序列图形式化复杂驾驶需求，并分离空间与时间监控。示例运行展示实时判定，而通用构建方法和实际性能仍属于后续研究问题。
原文作者提供的信息
以下为 arXiv 上作者提供的信息。
EPTCS 371, 2022, pp. 53-61
In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
版本: arXiv v1 — manuscript revision