Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications
Ruofei Bai,Ronghao Zheng,Meiqin Liu,Senlin Zhang,Ruofei Bai,Ronghao Zheng,Meiqin Liu,Senlin Zhang
This paper investigates the task coordination of multi-robot where each robot has a private individual temporal logic task specification; and also has to jointly satisfy a globally given collaborative temporal logic task specification. To efficiently generate feasible and optimized task execution plans for the robots, we propose a hierarchical multi-robot temporal task planning framework, in which...
