Two-Stage Proprioceptive State Estimation with Stability Guarantee for Legged Robots | IEEE Conference Publication | IEEE Xplore