A Floating-Point Extended Kalman Filter Implementation for Autonomous Mobile Robots | IEEE Conference Publication | IEEE Xplore