Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: Implementation and experiments | IEEE Conference Publication | IEEE Xplore