TerminatorBot: a robot with dual-use arms for manipulation and locomotion | IEEE Conference Publication | IEEE Xplore