Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications.
Fernando S. BarbosaLars LindemannDimos V. DimarogonasJana TumovaPublished in: ECC (2019)
Keyphrases
- temporal logic
- motion planning
- concurrent systems
- robotic arm
- mechanical systems
- model checking
- transition systems
- model checker
- reactive systems
- degrees of freedom
- mobile robot
- bounded model checking
- robot arm
- formal specification language
- trajectory planning
- linear temporal logic
- modal logic
- path planning
- humanoid robot
- obstacle avoidance
- multi robot
- nearest neighbor searching
- formal specification
- kinematic model
- verification method
- autonomous robots
- computation tree logic
- inverse kinematics
- collision free
- robotic tasks
- control system
- belief space
- temporally extended goals
- temporal knowledge
- logical formulas
- viewpoint
- configuration space
- formal verification
- robot navigation
- robotic systems
- dynamic environments
- d objects