Deshpande, A. D. & Luntz, J. E. A methodology for design and analysis of cooperative behaviors with mobile robots. Autonomous Robots 27, 261?276 (2009).