@article{liu2023tackling,
  title={Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products},
  author={Liu, Zesen and Guo, Meng and Bao, Weimin and Li, Zhongkui},
  journal={Research},
  year={2023}
}