Symmetric Walking Control: Invariance and Global Stability | IEEE Conference Publication | IEEE Xplore