arXiv cs.CL· Maksym Labzhaniia (UniCA, Laboratoire I3S - COMRED, KAIROS), Julien Deantoni (UniCA, Laboratoire I3S - COMRED, KAIROS), Marie-Agn{\`e}s Peraldi-Frati (UniCA, Laboratoire I3S - COMRED, KAIROS), Fr{\'e}d{\'e}ric Mallet (Laboratoire I3S - COMRED, I3S, KAIROS, UniCA)·· 5 小时前AI 评分17
MakSafe：面向道路车辆安全规则形式化规约与合规检查的时空语义框架
MakSafe: A Spatiotemporal Semantic Framework for Formal Specification and Compliance Checking of Road Vehicle Safety Rules
AI 导读
研究人员提出 MakSafe，一个基于语义区域、动作预测与轨迹树推理的形式化时空框架，用于规约和检查道路车辆安全规则，避免统一时间离散化。该框架可执行前车识别与 TTC 验证规则，在同一初始场景下按分支给出安全与不安全判定，并能在控制更新后重新评估场景。评测显示单次规则检查耗时远低于 1 毫秒，但更长预测时域会拖慢 TTC 检查。
来源：arXiv cs.CL · arxiv.org