研究论文 · 发布 2026.10.11 · 预印本
结合模型验证与运行时监控验证 Autoware 控制节点
Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
资料概述
作者将 Autoware 轨迹控制建模为混合系统，证明安全性与活性性质，并在数值仿真中利用运行时监控检查已验证抽象与实际实现行为的一致性。
出版与版本信息
当前扩展稿仍为预印本。作者报告的录用或发表涉及较早的短版本，下方保留原文表述。
原文作者提供的信息
以下为 arXiv 上作者提供的信息。
34 pages, 9 figures, 2 tables. Extended version of a paper accepted at SEFM 2026
版本: v1