Hyperproperties for Robotics: Motion Planning via HyperLTL.
Yu WangSiddhartha NalluriMiroslav PajicPublished in: CoRR (2019)
Keyphrases
- motion planning
- robotic tasks
- manipulation tasks
- degrees of freedom
- mobile robot
- path planning
- trajectory planning
- robot arm
- multi robot
- humanoid robot
- mechanical systems
- robotic arm
- computer vision
- obstacle avoidance
- inverse kinematics
- configuration space
- belief space
- autonomous mobile robot
- robot control
- artificial intelligence
- real time
- climbing robot
- collision free
- autonomous navigation
- real robot
- robotic systems
- viewpoint
- end effector
- human robot interaction
- kinematic model