摘要
arXiv:2405.13715v3 通知类型: 替换交叉
摘要:交通场景的正式表示可以用于为自主驾驶的安全验证生成测试案例。然而,由于交通场景的复杂性和多样性,大多数现有方法仅限于高速公路或高度简化的交叉口场景。为此,我们提出了一种交通场景逻辑(TSL),这是一种用于建模和推理城市无行人的交通场景的空间-时间逻辑。TSL提供了一种可以从OpenDRIVE中推导出的正式表示城市道路网络的方法,即适用于自主驾驶的高精度地图的事实标准,从而在无需离散化近似的情况下表示广泛的交通场景。我们使用Telingo实现了TSL的推理,即基于回答集编程的时间程序求解器,并在不同的城市道路布局上进行了测试。演示显示了TSL在测试场景生成方面的有效性及其在自主驾驶决策和控制验证方面的潜在价值。TSL推理的代码已开源。