Reactive Task and Motion Planning under Temporal Logic Specifications.
Shen LiDaehyung ParkYoonchang SungJulie A. ShahNicholas RoyPublished in: ICRA (2021)
Keyphrases
- temporal information
- motion planning
- temporal logic
- reactive systems
- model checking
- degrees of freedom
- concurrent systems
- transition systems
- path planning
- mobile robot
- formal specification language
- model checker
- trajectory planning
- modal logic
- satisfiability problem
- multi robot
- humanoid robot
- robotic tasks
- robotic arm
- temporal knowledge
- bounded model checking
- belief revision
- autonomous mobile robot
- belief space
- verification method
- linear temporal logic
- mechanical systems
- obstacle avoidance
- formal specification
- computation tree logic
- collision free
- configuration space
- viewpoint
- dynamic constraints
- image sequences