Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications

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]

@article{BaiZXLZ22,
  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 = {2022},
  doi = {10.1016/j.robot.2022.104085},
  url = {https://doi.org/10.1016/j.robot.2022.104085},
  researchr = {https://researchr.org/publication/BaiZXLZ22},
  cites = {0},
  citedby = {0},
  journal = {Robotics and Autonomous Systems},
  volume = {153},
  pages = {104085},
}