Wang, R.; Xu, Y.; Ji, J. Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios. AAAI 2025, 39, 15195-15202.