Approximate return maps for quadrupedal running | IEEE Conference Publication | IEEE Xplore