Skip to content

USTCAVSA/TSL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

TSL

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

使用时态逻辑建模的城市交通场景逻辑

How to use

  1. You need to install Telingo to run TSL.
  2. Enter the asp/ folder.
  3. Add a map file map.lp and the vehicles' initial configuration car.lp.
  4. Run Telingo to solve it:
    telingo N map.lp car.lp rules.lp show.lp
    
    where 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.

Examples

See examples/.

Citation

@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}
}

About

Traffic Scenario Logic

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published