{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/skill-transfer-for-temporally-extended-task","title":"LTL-Transfer: Skill Transfer for Temporal Task Specification","arxiv_id":"2206.05096","date":"2022-06-10","proceeding":null,"authors":["Jason Xinyu Liu","Ankit Shah","Eric Rosen","Mingxi Jia","George Konidaris","Stefanie Tellex"],"abstract":"Deploying robots in real-world environments, such as households and manufacturing lines, requires generalization across novel task specifications without violating safety constraints. Linear temporal logic (LTL) is a widely used task specification language with a compositional grammar that naturally induces commonalities among tasks while preserving safety guarantees. However, most prior work on reinforcement learning with LTL specifications treats every new task independently, thus requiring large amounts of training data to generalize. We propose LTL-Transfer, a zero-shot transfer algorithm that composes task-agnostic skills learned during training to safely satisfy a wide variety of novel LTL task specifications. Experiments in Minecraft-inspired domains show that after training on only 50 tasks, LTL-Transfer can solve over 90% of 100 challenging unseen tasks and 100% of 300 commonly used novel tasks without violating any safety constraints. We deployed LTL-Transfer at the task-planning level of a quadruped mobile manipulator to demonstrate its zero-shot transfer ability for fetch-and-deliver and navigation tasks.","url_abs":"https://arxiv.org/abs/2206.05096v3","url_pdf":"https://arxiv.org/pdf/2206.05096v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"skill-transfer-for-temporally-extended-task","repo_url":"https://github.com/h2r/ltl_transfer","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"tf","reach":null},{"paper_slug":"skill-transfer-for-temporally-extended-task","repo_url":"https://github.com/jasonxyliu/ltl_transfer","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"tf","reach":{"status":"ok"}}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":"https://app.syntology.ai/?focus=2206.05096","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2206.05096"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/jasonxyliu/ltl_transfer","reach":{"status":"ok"}},{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/h2r/ltl_transfer","reach":null}],"summary":{"ran_violates":1,"ran_fixture":1,"ran_draft_wrong":3},"by_repo_kind":{"official":{"samples":5,"ran":5,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":5,"samples":[{"code_sha256_prefix":"5b8ef90ee7cdd828","entry":"getMD","repo":"h2r/ltl_transfer","repo_kind":"official","path":"src/map_generator.py","file_url":"https://github.com/h2r/ltl_transfer/blob/HEAD/src/map_generator.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"well_formed","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5b8ef90ee7cdd828"}},{"code_sha256_prefix":"1311dd699132e954","entry":"getMyopicSolution","repo":"h2r/ltl_transfer","repo_kind":"official","path":"src/map_generator.py","file_url":"https://github.com/h2r/ltl_transfer/blob/HEAD/src/map_generator.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":"well_formed","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"1311dd699132e954"}},{"code_sha256_prefix":"d88e941f97cdb127","entry":"getObjects","repo":"h2r/ltl_transfer","repo_kind":"official","path":"src/map_generator.py","file_url":"https://github.com/h2r/ltl_transfer/blob/HEAD/src/map_generator.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d88e941f97cdb127"}},{"code_sha256_prefix":"64de1d5392d1fba5","entry":"load_image","repo":"h2r/ltl_transfer","repo_kind":"official","path":"src/visualize_classifiers.py","file_url":"https://github.com/h2r/ltl_transfer/blob/HEAD/src/visualize_classifiers.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"MISDECLARED","metamorphic_tier":"well_formed","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"64de1d5392d1fba5"}},{"code_sha256_prefix":"c1a5226121533b9e","entry":"load_map","repo":"h2r/ltl_transfer","repo_kind":"official","path":"src/visualize_classifiers.py","file_url":"https://github.com/h2r/ltl_transfer/blob/HEAD/src/visualize_classifiers.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c1a5226121533b9e"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}