%0 Journal Article %T Provably Safe Finite-Time Guidance for Marine Vehicles %A Singh, Bhawana %A Dastgerdi, Karim Ahmadi %A Athanasopoulos, Nikolaos %A Naeem, Wasif %A Lecallard, Benoit %J Electrical Engineering and Systems Science %V 2024 %N 2402 %D 2024-02-09 %~ DeepDyve