A study on optimal formulation for multi-legged gait robot with redundant joint | IEEE Conference Publication | IEEE Xplore