Vehicle route-sequence planning using temporal logic.
Kiam Tian SeowMichel PasquierPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (2002)
Keyphrases
- temporal knowledge
- temporal logic
- temporally extended goals
- model checking
- modal logic
- satisfiability problem
- planning problems
- temporally extended
- concurrent systems
- pick up and delivery
- traffic congestion
- route planning
- ai planning
- mazurkiewicz traces
- heuristic search
- verification method
- symbolic model checking
- formal specification language
- planning domains
- belief revision
- computation tree logic
- reactive systems
- finite state
- domain independent
- np complete