Gait generation for a six-legged walking machine through graph search | IEEE Conference Publication | IEEE Xplore