Model-driven behavior specification for robotic teams

Alexandros Paraschos, Nikolaos I. Spanoudakis, Michail G. Lagoudakis. Model-driven behavior specification for robotic teams. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 171-178, IFAAMAS, 2012. [doi]