Physics-based Motion Planning with Temporal Logic Specifications.
MuhayyuddinAliakbar AkbariJan RosellPublished in: CoRR (2017)
Keyphrases
- motion planning
- temporal logic
- concurrent systems
- transition systems
- model checking
- model checker
- reactive systems
- bounded model checking
- degrees of freedom
- formal specification language
- path planning
- mobile robot
- modal logic
- formal specification
- trajectory planning
- humanoid robot
- satisfiability problem
- multi robot
- robotic tasks
- computation tree logic
- obstacle avoidance
- linear temporal logic
- robotic arm
- belief space
- temporal knowledge
- verification method
- automata theoretic
- autonomous mobile robot
- formal verification
- belief revision
- mazurkiewicz traces
- mechanical systems
- collision free
- configuration space
- finite state
- control flow
- dynamical systems
- temporally extended goals
- epistemic logic
- search algorithm