Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios.

Mon, 01 Jan 2024 00:00:00 +0100

Ruolin Wang, Yuejiao Xu, Jianmin Ji:
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios. CoRR abs/2405.13715 (2024)