Proving Asymptotic Stability of Dynamic Walking for a Five-Link Biped Robot with Feet | IEEE Conference Publication | IEEE Xplore