Navigation Functions With Time-Varying Destination Manifolds in Star Worlds | IEEE Journals & Magazine | IEEE Xplore