Invariant Extended Kalman Filtering for Tightly Coupled LiDAR-Inertial Odometry and Mapping | IEEE Journals & Magazine | IEEE Xplore