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