Revising motion planning under Linear Temporal Logic specifications in partially known workspaces | IEEE Conference Publication | IEEE Xplore