arXiv提出MakSafe道路车辆安全规则形式化框架

发生了什么

据arXiv论文，研究提出MakSafe，一种用于规范化和检查道路车辆安全规则的时空语义框架。该框架通过语义区域、基于动作的预测和轨迹树推理避免均匀时间离散化，并建立了可执行规则进行前车识别和碰撞时间（TTC）验证。单次规则检查耗时远低于一毫秒。