Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios.
Ruolin WangYuejiao XuJianmin JiPublished in: CoRR (2024)
Keyphrases
- temporal logic
- modal logic
- model checking
- linear temporal logic
- temporal knowledge
- predicate logic
- verification method
- model checker
- bounded model checking
- temporal resolution
- satisfiability problem
- automata theoretic
- transition systems
- spatial reasoning
- automated reasoning
- concurrent systems
- modal operators
- reactive systems
- epistemic logic
- logical formulas
- qualitative reasoning
- computation tree logic
- belief revision
- traffic congestion
- spatial information
- spatial data
- linear time temporal logic
- qualitative differential equations
- temporal aspects
- formal verification
- inference rules
- formal specification
- traffic flow
- situation calculus
- dynamic systems
- logic programming
- mazurkiewicz traces