Wang R, Xu Y, Ji J. Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 28];39(14):15195-202. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/33667