Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications.
Rafael Rodrigues da SilvaHai LinPublished in: CoRR (2018)
Keyphrases
- temporal logic
- motion planning
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- degrees of freedom
- formal specification language
- mobile robot
- path planning
- trajectory planning
- modal logic
- satisfiability problem
- robotic tasks
- formal specification
- multi robot
- verification method
- humanoid robot
- belief space
- robotic arm
- linear temporal logic
- autonomous mobile robot
- computation tree logic
- formal verification
- obstacle avoidance
- mechanical systems
- mazurkiewicz traces
- belief revision
- configuration space
- finite state
- pose estimation
- temporal knowledge
- epistemic logic
- specification language