I've seen several examples of SLAM algorithms (EKF SLAM, Graph SLAM, SEIF SLAM) written in terms of the velocity motion modelvelocity motion model. I have yet to see an example of any SLAM algorithm utilizing the odometry motion model. I wonder if there is an inherent advantage to using the velocity motion model over the odometry model for this problem. Does it have something to do with the fact that odometry sensor information comes after the motion has already taken place, whereas velocity control commands are executed before motion?