Safety-Critical Path Planning and Following of Maritime Autonomous Surface Ships for Automatic Docking | IEEE Conference Publication | IEEE Xplore