Applications of MRROC++ robot programming framework

Abstract
The paper concentrates on the way that the MRROC++ robot programming framework has been applied to produce control systems for robots of different types performing diverse tasks. Moreover, both a brief formal specification and the method of implementation of the MRROC ++ based system is presented.