A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore