Legged Robot State Estimation in Slippery Environments Using Invariant Extended Kalman Filter with Velocity Update | IEEE Conference Publication | IEEE Xplore