Least-Violating Planning in Road Networks from Temporal Logic Specifications.
Jana TumovaSertac KaramanCalin BeltaDaniela RusPublished in: ICCPS (2016)
Keyphrases
- temporal logic
- road network
- concurrent systems
- temporally extended goals
- model checking
- transition systems
- model checker
- route planning
- reactive systems
- bounded model checking
- formal specification language
- shortest path
- modal logic
- temporally extended
- symbolic model checking
- formal specification
- moving objects
- transportation networks
- travel time
- spatial networks
- mazurkiewicz traces
- formal verification
- linear temporal logic
- verification method
- ai planning
- road segments
- belief revision
- planning domains
- temporal knowledge
- spatial databases
- computation tree logic
- domain independent
- planning problems
- epistemic logic
- query answering
- trajectory data