Extended Kalman filter with manifold state representation for navigating a maneuverable melting probe | IEEE Conference Publication | IEEE Xplore