We present a formal framework where the action description language <br />C+ is used to provide multiple robots with high-level reasoning in the style of <br />cognitive robotics. We show the applicability of this framework on two LEGO <br />MINDSTORMS NXT robots, in an action domain that involves concurrent execution <br />of actions by multiple agents. <br />For more details visit: http://students.sabanciuniv.edu/abdullah/
