A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications | IEEE Journals & Magazine | IEEE Xplore