Navigation Functions with non-Point Destinations and Moving Obstacles | IEEE Conference Publication | IEEE Xplore