Development of error reduction model using Bayesian filter for AUV navigating under moving ice | IEEE Conference Publication | IEEE Xplore