Probabilistic Contact Estimation and Impact Detection for State Estimation of Quadruped Robots | IEEE Journals & Magazine | IEEE Xplore