Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
使用时态逻辑建模的城市交通场景逻辑
- You need to install Telingo to run TSL.
- Enter the
asp/
folder. - Add a map file
map.lp
and the vehicles' initial configurationcar.lp
. - Run Telingo to solve it:
where
telingo N map.lp car.lp rules.lp show.lp
N
is the number of answer sets you want (0 for all). You can refer to Telingo's document for more usage of other parameters.
The conversion from OpenDRIVE to TSL representation is a part of our DADSim Project.
See examples/
.
@inproceedings{wang2025traffic,
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={Proceedings of the AAAI Conference on Artificial Intelligence},
volume={39},
number={14},
pages={15195--15202},
year={2025}
}