Safety-Guaranteed Real-Time Trajectory Planning for Underwater Vehicles in Plane-Progressive Waves | IEEE Conference Publication | IEEE Xplore