A switching formula for optimal gait transitions | IEEE Conference Publication | IEEE Xplore