Acknowledgments

The work on the Robotics Code Generator (RobCoGen) has been funded by the department of Advanced Robotics, Istituto Italiano di Tecnologia.

RobCoGen was developed using the following open source software. I would like to thank the authors and maintainers of them: