O. B. Yitzhak and M. Tennenholtz, “On the Automatic Synthesis of Social Laws for Mobile Robots. A Study in Artificial Social Systems”, Comput. Inform., vol. 16, no. 4, pp. 355–375, Mar. 2012.