{"id":"https://openalex.org/W4416750832","doi":"https://doi.org/10.1109/iros60139.2025.11246351","title":"LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning","display_name":"LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W4416750832","doi":"https://doi.org/10.1109/iros60139.2025.11246351"},"language":null,"primary_location":{"id":"doi:10.1109/iros60139.2025.11246351","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119748855","display_name":"Behrad Rabiei","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Behrad Rabiei","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113322171","display_name":"Mahesh Kumar A. R.","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahesh Kumar A R","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060614714","display_name":"Zhirui Dai","orcid":"https://orcid.org/0000-0001-8362-3796"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhirui Dai","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114764306","display_name":"Surya L.S.R. Pilla","orcid":"https://orcid.org/0009-0006-6327-8087"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Surya L.S.R. Pilla","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qiyue Dong","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiyue Dong","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066400889","display_name":"Nikolay Atanasov","orcid":"https://orcid.org/0000-0003-0272-7580"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]},{"id":"https://openalex.org/I4210128771","display_name":"Contextual Change (United States)","ror":"https://ror.org/03bskcm82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128771"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikolay Atanasov","raw_affiliation_strings":["University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093","institution_ids":["https://openalex.org/I4210128771","https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32762689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"19240","last_page":"19247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.3474999964237213,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.3474999964237213,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.10100000351667404,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.07109999656677246,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6258000135421753},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.6129000186920166},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5906000137329102},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5131999850273132},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4837000072002411},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.44920000433921814},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4426000118255615},{"id":"https://openalex.org/keywords/natural-language-generation","display_name":"Natural language generation","score":0.40849998593330383},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.40540000796318054}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.781499981880188},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6258000135421753},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.6129000186920166},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5906000137329102},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5185999870300293},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5131999850273132},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4837000072002411},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.44920000433921814},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4426000118255615},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44190001487731934},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.40849998593330383},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.40540000796318054},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3901999890804291},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.38920000195503235},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.3806999921798706},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3686000108718872},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.32899999618530273},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.3052000105381012},{"id":"https://openalex.org/C174252522","wikidata":"https://www.wikidata.org/wiki/Q3816772","display_name":"Natural language user interface","level":3,"score":0.28870001435279846},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C26990112","wikidata":"https://www.wikidata.org/wiki/Q6887224","display_name":"Mobile robot navigation","level":5,"score":0.27000001072883606},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.2680000066757202},{"id":"https://openalex.org/C20724563","wikidata":"https://www.wikidata.org/wiki/Q3075258","display_name":"Language primitive","level":4,"score":0.26420000195503235},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.25589999556541443},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros60139.2025.11246351","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1540883472","https://openalex.org/W1949907236","https://openalex.org/W1970603830","https://openalex.org/W2073548775","https://openalex.org/W2086440639","https://openalex.org/W2126677653","https://openalex.org/W2164451522","https://openalex.org/W2235884325","https://openalex.org/W2990129662","https://openalex.org/W3034723486","https://openalex.org/W3039925688","https://openalex.org/W3201923677","https://openalex.org/W4226054716","https://openalex.org/W4226236972","https://openalex.org/W4283332944","https://openalex.org/W4289921754","https://openalex.org/W4322727877","https://openalex.org/W4383097638","https://openalex.org/W4383108457","https://openalex.org/W4383108852","https://openalex.org/W4389519952","https://openalex.org/W4389665575","https://openalex.org/W4393160795","https://openalex.org/W4401413894","https://openalex.org/W4401414087","https://openalex.org/W4401416363","https://openalex.org/W4404782615","https://openalex.org/W4405787555","https://openalex.org/W4413945685","https://openalex.org/W4415798357"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3],"planning":[4,59,96,129],"robot":[5,65],"navigation":[6,106],"tasks":[7],"from":[8],"natural":[9,25,70,82],"language":[10,20,26,71,83],"specifications.":[11],"We":[12,91,112],"develop":[13],"a":[14,18,29,42,57,63,78,109],"modular":[15],"approach,":[16],"where":[17],"large":[19],"model":[21],"(LLM)":[22],"translates":[23],"the":[24,50,69,93],"instructions":[27,107],"into":[28],"linear":[30],"temporal":[31],"logic":[32],"(LTL)":[33],"formula":[34,48],"with":[35],"propositions":[36],"defined":[37],"by":[38],"object":[39],"classes":[40],"in":[41,98,118,123],"semantic":[43,51],"occupancy":[44,52],"map.":[45],"The":[46],"LTL":[47,87],"and":[49,120,130],"map":[53],"are":[54],"provided":[55],"to":[56,61,80,84,104,108,125],"motion":[58],"algorithm":[60],"generate":[62],"collision-free":[64],"path":[66],"that":[67],"satisfies":[68],"instructions.":[72],"Our":[73],"main":[74],"contribution":[75],"is":[76],"LTLCodeGen,":[77],"method":[79,97],"translate":[81],"syntactically":[85],"correct":[86],"using":[88],"code":[89],"generation.":[90],"demonstrate":[92],"complete":[94],"task":[95,128],"real-world":[99,121],"experiments":[100,122],"involving":[101],"human":[102],"speech":[103],"provide":[105],"mobile":[110],"robot.":[111],"also":[113],"thoroughly":[114],"evaluate":[115],"our":[116],"approach":[117],"simulated":[119],"comparison":[124],"end-to-end":[126],"LLM":[127],"state-of-the-art":[131],"LLM-to-LTL":[132],"translation":[133],"methods.":[134]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-11-28T00:00:00"}