Wang, R., Xu, Y. and Ji, J. (2025) “Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), pp. 15195–15202. doi: 10.1609/aaai.v39i14.33667.