Publications

• Ruolin Wang, Yuejiao Xu, Jianmin Ji. Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
• Ruolin Wang, Yuejiao Xu, Je Peng, and Jianmin Ji. A²cost: An asp-based avoidable collision scenario testbench for autonomous vehicles