Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments.
Sutej KulgodWentao ChenJunda HuangYe ZhaoNikolay AtanasovPublished in: ACC (2020)
Keyphrases
- temporal logic
- cluttered environments
- temporally extended goals
- model checking
- modal logic
- temporally extended
- computation tree logic
- target tracking
- heuristic search
- temporal knowledge
- symbolic model checking
- planning problems
- verification method
- linear temporal logic
- planning domains
- reactive systems
- search algorithm
- real time