Wang, R., Xu, Y., & 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), 15195–15202. https://doi.org/10.1609/aaai.v39i14.33667