Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks | IEEE Journals & Magazine | IEEE Xplore