Fast Task Allocation of Heterogeneous Robots With Temporal Logic and Inter-Task Constraints | IEEE Journals & Magazine | IEEE Xplore