Invariant filtering for Pose EKF-SLAM aided by an IMU | IEEE Conference Publication | IEEE Xplore