Yitzhak, O. B.; Tennenholtz, M. On the Automatic Synthesis of Social Laws for Mobile Robots. A Study in Artificial Social Systems. Comput. Inform. 2012, 16, 355-375.