[IEEE 2011 IEEE International Conference on Robotics and Automation (ICRA) - Shanghai, China (2011.05.9-2011.05.13)] 2011 IEEE International Conference on Robotics and Automation - Graphical State Space Programming: A visual programming paradigm for robot task specification