MT* : Multi-Robot Path Planning for Temporal Logic Specifications

@misc{saha2021mtmultirobotpath,
      title={MT* : Multi-Robot Path Planning for Temporal Logic Specifications},
      author={Indranil Saha and Dhaval Gujarathi},
      year={2021},
      eprint={2103.02821},
      archivePrefix={arXiv},
      primaryClass={cs.RO},
      url={https://arxiv.org/abs/2103.02821},
}