Modeling and synthesis of controllers for Multi-Robot Systems using game structures | IEEE Conference Publication | IEEE Xplore