Koopman System Approximation-Based Optimal Control of Multiple Mobile Robots | IEEE Journals & Magazine | IEEE Xplore