Minimum-Time Optimal Control of Many Robots that Move in the Same Direction at Different Speeds | IEEE Journals & Magazine | IEEE Xplore