Buffer-Aided-Based Resilient State Estimation for Mobile Robot Localization With State Saturation: A Probabilistic-Encoding Case | IEEE Journals & Magazine | IEEE Xplore