Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments.
Zhangli ZhouZiyang ChenMingyu CaiZhijun LiZhen KanChun-Yi SuPublished in: IEEE Trans. Ind. Electron. (2024)
Keyphrases
- temporal logic
- dynamic environments
- motion planning
- mobile robot
- path planning
- multi robot
- reactive systems
- legged robots
- collision free
- model checking
- quadruped robot
- manipulation tasks
- rough terrain
- obstacle avoidance
- trajectory planning
- modal logic
- humanoid robot
- robotic tasks
- autonomous agents
- autonomous robots
- autonomous navigation
- collision avoidance
- augmented reality
- real time
- linear temporal logic
- changing environment
- human computer interaction
- vision system
- robotic arm
- belief space
- verification method
- robotic systems
- potential field
- computation tree logic
- single agent
- sensory information
- robot control
- belief revision
- computer vision
- configuration space
- simultaneous localization and mapping
- real robot
- degrees of freedom
- plan execution
- human robot interaction