Zonotopic Kalman Filter-Based Velocity Estimation for Autonomous Underwater Vehicles | IEEE Conference Publication | IEEE Xplore