@misc{indiciae98848d95c0c1,
  title = {Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications},
  author = {Ruofei Bai and Ronghao Zheng and Yang Xu and Meiqin Liu and Senlin Zhang},
  year = {2021},
  doi = {10.1016/j.robot.2022.104085},
  url = {https://arxiv.org/abs/2110.11162},
  note = {Source identifier: 2110.11162}
}