Tube-based Nonlinear MPC of an Over-actuated Marine Platform for Navigation and Obstacle Avoidance using Control Barrier Functions | IEEE Conference Publication | IEEE Xplore