FCUS: Traffic Rule-Aware Vehicle Trajectory Forecasting Using Continuous Unlikelihood and Signal Temporal Logic Feature.
Sheng WangRen XinJie ChengXiaodong MeiMing LiuPublished in: ROBIO (2023)
Keyphrases
- temporal logic
- vehicle trajectory
- model checking
- modal logic
- satisfiability problem
- computation tree logic
- signal processing
- concurrent systems
- belief revision
- temporal knowledge
- transition systems
- verification method
- formal specification language
- temporally extended
- temporally extended goals
- symbolic model checking
- data association
- graph cuts