{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T00:18:11Z","timestamp":1787012291254,"version":"build-2736575974"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2336612"],"award-info":[{"award-number":["2336612"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127555","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"11957-11964","source":"Crossref","is-referenced-by-count":5,"title":["CaStL: Constraints as Specifications Through Llm Translation for Long-Horizon Task and Motion Planning"],"prefix":"10.1109","author":[{"given":"Weihang","family":"Guo","sequence":"first","affiliation":[{"name":"Rice University,Department of Computer Science,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zachary","family":"Kingston","sequence":"additional","affiliation":[{"name":"Rice University,Department of Computer Science,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[{"name":"Rice University,Department of Computer Science,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-091420-084139"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-023-10139-z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00280"},{"key":"ref5","article-title":"SayPlan: Grounding Large Language Models using 3D Scene Graphs for Scalable Robot Task Planning","volume-title":"7th Annual Conference on Robot Learning","author":"Rana","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.968"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.123"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1111\/nyas.15125"},{"key":"ref9","author":"Liu","year":"2023","journal-title":"Llm+ p: Empowering large language models with optimal planning proficiency"},{"key":"ref10","article-title":"DELTA: Decomposed Efficient Long-Term Robot Task Planning using Large Language Models","author":"Liu","year":"2024","journal-title":"CoRR abs\/2404.03275"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918761570"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611163"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611670"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2013.2239553"},{"key":"ref21","article-title":"Plan Constraints and Preferences in PDDL3 The Language of the Fifth International Planning Competition","author":"Gerevini","year":"2005","journal-title":"ICAPS 2006"},{"key":"ref22","first-page":"9118","article-title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied\\\\ agents","volume-title":"International Conference on Machine Learning. PMLR","author":"Huang","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3387941"},{"key":"ref24","article-title":"Describe, Explain, Plan and Select: Interactive Planning with LLMs Enables Open-World Multi-Task Agents","volume-title":"Thirty-seventh Conference on Neural Information Processing Systems","author":"Wang","year":"2023"},{"key":"ref25","article-title":"Reflexion: Language agents with verbal reinforcement learning","volume":"36","author":"Shinn","year":"2024","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611376"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610634"},{"key":"ref28","author":"Fu","year":"2024","journal-title":"Scene-llm: Extending language model for 3d visual understanding and reasoning"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611663"},{"key":"ref30","first-page":"287","article-title":"Do as i can, not as i say: Grounding language in robotic affordances","volume-title":"Conference on Robot Learning. PMLR","author":"Brohan","year":"2023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-023-10131-7"},{"key":"ref32","first-page":"2683","article-title":"Navigation with large language models: Semantic guesswork as a heuristic for planning","volume-title":"Conference on Robot Learning. PMLR","author":"Shah","year":"2023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3285510"},{"key":"ref34","article-title":"Language models meet world models: Embodied experiences enhance language models","volume":"36","author":"Xiang","year":"2024","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IV55156.2024.10588650"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611164"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2024.xx.112"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/iros58592.2024.10801328"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611112"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2024.XX.034"},{"key":"ref44","article-title":"Planning with large language models via corrective re-prompting","volume-title":"NeurIPS 2022 Foundation Models for Decision Making Workshop","author":"Raman","year":"2022"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v36i3.2571"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","location":"Atlanta, GA, USA","start":{"date-parts":[[2025,5,19]]},"end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11127555.pdf?arnumber=11127555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:45:23Z","timestamp":1756881923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127555\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127555","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}