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

Wang et al. "Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I14.33667

[Wang et al. "Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/wang2025aaai-traffic/) doi:10.1609/AAAI.V39I14.33667

@inproceedings{wang2025aaai-traffic,
  title     = {{Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios}},
  author    = {Wang, Ruolin and Xu, Yuejiao and Ji, Jianmin},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {15195-15202},
  doi       = {10.1609/AAAI.V39I14.33667},
  url       = {https://mlanthology.org/aaai/2025/wang2025aaai-traffic/}
}