Recursive Bayes Filters and related models for mobile robots.
1 Robot Motion and Perception (ch. 5, 6) These two chapters discuss how one obtains the motion model and measurement model mentioned before. They are needed.
Probabilistic Robotics: Motion and Sensing
Visibility based Probabilistic Motion Planning