Transfer Planning for Temporal Logic Tasks | IEEE Conference Publication | IEEE Xplore