Rapid updating for path-planning using nonlinear branch-and-bound | IEEE Conference Publication | IEEE Xplore