Energy-Efficient Locomotion Generation and Theoretical Analysis of a Quasi-Passive Dynamic Walker | IEEE Journals & Magazine | IEEE Xplore