Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang. Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications. Robotics and Autonomous Systems, 153:104085, 2022. [doi]
Abstract is missing.