{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:24:02Z","timestamp":1766132642883,"version":"3.48.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11246351","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"19240-19247","source":"Crossref","is-referenced-by-count":0,"title":["LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning"],"prefix":"10.1109","author":[{"given":"Behrad","family":"Rabiei","sequence":"first","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahesh Kumar","family":"A R","sequence":"additional","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhirui","family":"Dai","sequence":"additional","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Surya L.S.R.","family":"Pilla","sequence":"additional","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiyue","family":"Dong","sequence":"additional","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Atanasov","sequence":"additional","affiliation":[{"name":"University of California San Diego,Contextual Robotics Institute,La Jolla,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2024","key":"ref1","article-title":"GPT-4 Technical Report"},{"article-title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","year":"2023","author":"Touvron","key":"ref2"},{"year":"2025","key":"ref3","article-title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning"},{"article-title":"Do As I Can, Not As I Say: Grounding Language in Robotic Affordances","volume-title":"Conference on Robot Learning","author":"Ichter","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610855"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.52202\/079017-1000"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610599"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160591"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10342363"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161317"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802322"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/icra55743.2025.11128238"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i18.30006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v32i4.2384"},{"article-title":"Demo2Code: From Summarizing Demonstrations to Synthesizing Code via Extended Chain-of-Thought","year":"2023","author":"Wang","key":"ref15"},{"article-title":"LLMs Can\u2019t Plan, But Can Help Planning in LLM-Modulo Frameworks","year":"2024","author":"Kambhampati","key":"ref16"},{"article-title":"On the Planning Abilities of Large Language Models : A Critical Investigation","year":"2023","author":"Valmeekam","key":"ref17"},{"article-title":"Inner Monologue: Embodied Reasoning through Planning with Language Models","year":"2022","author":"Huang","key":"ref18"},{"article-title":"Instruct2Act: Mapping Multi-modality Instructions to Robotic Actions with Large Language Model","year":"2023","author":"Huang","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3245986"},{"article-title":"Ultralytics YOLO","year":"2023","author":"Jocher","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.463"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.651"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611163"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487554"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00576"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2020.xvi.079"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1177\/02783649211056674"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2022.xviii.050"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3157567"},{"article-title":"Socratic Models: Composing Zero-Shot Multimodal Reasoning with Language","year":"2022","author":"Zeng","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3142739"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13188-2_9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.51"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1966.0205"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11246351.pdf?arnumber=11246351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:19:51Z","timestamp":1766132391000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11246351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11246351","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}