Convergence and Consistency Analysis for Extended Kalman Filter Based SLAM | IEEE Journals & Magazine | IEEE Xplore