Graphical State Space Programming: A visual programming paradigm for robot task specification | IEEE Conference Publication | IEEE Xplore