Gait design by graph coloring for robots that have legs on their faces | IEEE Conference Publication | IEEE Xplore