Invariant Extended Kalman Filtering Using Two Position Receivers for Extended Pose Estimation | IEEE Conference Publication | IEEE Xplore