TY - RPRT TI - Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications AU - Ruofei Bai AU - Ronghao Zheng AU - Yang Xu AU - Meiqin Liu AU - Senlin Zhang PY - 2021 DO - 10.1016/j.robot.2022.104085 UR - https://arxiv.org/abs/2110.11162 ID - 2110.11162 ER -