Safe navigation through waterways of time-varying depth based on reachability analysis | Publicación