Provably Safe Finite-Time Guidance for Marine Vehicles. - Bhawana Singh; Karim Ahmadi Dastgerdi; Nikolaos Athanasopoulos; Wasif Naeem; Benoit Lecallard (CoRR, 2024)