Autonomous River Navigation Using the Hamilton–Jacobi Framework for Underactuated Vehicles | IEEE Journals & Magazine | IEEE Xplore