Kalman-Type Filters and Smoothers for Pedestrian Dead Reckoning | IEEE Conference Publication | IEEE Xplore