Decentralized Motion Planning for Multiagent Collaboration Under Coupled LTL Task Specifications.
Daiying TianHao FangQingkai YangYue WeiPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2022)
Keyphrases
- motion planning
- multi agent
- bounded model checking
- degrees of freedom
- cooperative
- transition systems
- trajectory planning
- mobile robot
- model checking
- path planning
- multi agent systems
- robot arm
- dec pomdps
- temporal logic
- linear temporal logic
- multi robot
- robotic tasks
- multiagent systems
- humanoid robot
- distributed constraint optimization
- robotic arm
- inverse kinematics
- formal verification
- belief space
- obstacle avoidance
- autonomous mobile robot
- distributed systems
- manipulation tasks
- mechanical systems
- real time
- climbing robot
- configuration space
- finite state
- viewpoint
- reinforcement learning