An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis | IEEE Journals & Magazine | IEEE Xplore