Correction to "Asymptotically stable walking for biped robots: analysis via systems with impulse effects" | IEEE Journals & Magazine | IEEE Xplore