Stochastic Safety-critical Control Compensating Safety Probability for Marine Vessel Tracking. - Too Matsuo; Yûki Nishimura; Kenta Hoshino; Daisuke Tabuchi (CoRR, 2026)