Stackelberg Game-Theoretic Trajectory Guidance for Multi-Robot Systems with Koopman Operator | IEEE Conference Publication | IEEE Xplore