Online horizon selection in receding horizon temporal logic planning.
Vasumathi RamanMattias FältTichakorn WongpiromsarnRichard M. MurrayPublished in: IROS (2015)
Keyphrases
- temporal logic
- temporally extended goals
- receding horizon
- model checking
- modal logic
- planning problems
- satisfiability problem
- temporally extended
- air traffic control
- linear temporal logic
- belief revision
- symbolic model checking
- domain independent
- transition systems
- optimal linear
- computation tree logic
- mazurkiewicz traces
- verification method
- reactive systems
- temporal knowledge
- ai planning
- planning domains