Invariant EKF Design for Scan Matching-Aided Localization | IEEE Journals & Magazine | IEEE Xplore