Autonomous river navigation using the Hamilton-Jacobi framework for underactuated vehicles | IEEE Conference Publication | IEEE Xplore