Lin Li, Ziyang Chen, Hao Wang, Zhen Kan: Fast Task Allocation of Heterogeneous Robots With Temporal Logic and Inter-Task Constraints. IEEE Robotics Autom. Lett. 8(8): 4991-4998 (2023)