R. Wang, Y. Xu, and J. Ji, “Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios”, AAAI, vol. 39, no. 14, pp. 15195–15202, Apr. 2025.