Improving consistency of EKF-based SLAM algorithms by using accurate linear approximation | IEEE Conference Publication | IEEE Xplore