José Gilmar Nunes de Carvalho Filho, Jean-Marie Alexandre Farines, José Eduardo Ribeiro Cury: Modeling and synthesis of controllers for Multi-Robot Systems using game structures. ICAR 2013: 1-8