Gait Design and Modeling of a 12-Tetrahedron Walker Robot | IEEE Conference Publication | IEEE Xplore