Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios.

Ruolin Wang, Yuejiao Xu, Jianmin Ji

Browse the full AAAI paper archive.