MakSafe时空语义框架用于道路车辆安全规则形式化验证

1. 12:00
   arXiv cs.CL

   MakSafe：面向道路车辆安全规则形式化规约与合规检查的时空语义框架

   研究人员提出 MakSafe，一个基于语义区域、动作预测与轨迹树推理的形式化时空框架，用于规约和检查道路车辆安全规则，避免统一时间离散化。该框架可执行前车识别与 TTC 验证规则，在同一初始场景下按分支给出安全与不安全判定，并能在控制更新后重新评估场景。评测显示单次规则检查耗时远低于 1 毫秒，但更长预测时域会拖慢 TTC 检查。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。