Ruofei Bai, Ronghao Zheng, Meiqin Liu, Senlin Zhang. Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 6382-6389, IEEE, 2021. [doi]
Abstract is missing.