{"id":"https://openalex.org/W4413925878","doi":"https://doi.org/10.1109/icra55743.2025.11127555","title":"CaStL: Constraints as Specifications Through Llm Translation for Long-Horizon Task and Motion Planning","display_name":"CaStL: Constraints as Specifications Through Llm Translation for Long-Horizon Task and Motion Planning","publication_year":2025,"publication_date":"2025-05-19","ids":{"openalex":"https://openalex.org/W4413925878","doi":"https://doi.org/10.1109/icra55743.2025.11127555"},"language":"en","primary_location":{"id":"doi:10.1109/icra55743.2025.11127555","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra55743.2025.11127555","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"conference-paper","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":null,"display_name":"Weihang Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weihang Guo","raw_affiliation_strings":["Rice University,Department of Computer Science,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science,USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088789391","display_name":"Zachary Kingston","orcid":"https://orcid.org/0000-0002-3896-5110"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary Kingston","raw_affiliation_strings":["Rice University,Department of Computer Science,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science,USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067205988","display_name":"Lydia E. Kavraki","orcid":"https://orcid.org/0000-0003-0699-8038"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lydia E. Kavraki","raw_affiliation_strings":["Rice University,Department of Computer Science,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University,Department of Computer Science,USA","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74775410"],"apc_list":null,"apc_paid":null,"fwci":6.0939,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.96781136,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"11957","last_page":"11964"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9922000169754028,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9922000169754028,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/translation","display_name":"Translation (biology)","score":0.6628314256668091},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6610058546066284},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6146359443664551},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.5478033423423767},{"id":"https://openalex.org/keywords/horizon","display_name":"Horizon","score":0.542711079120636},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.45892268419265747},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3782343566417694},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3382321000099182},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.21938207745552063},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18443173170089722},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.14103516936302185},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09864842891693115},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.0594557523727417}],"concepts":[{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6628314256668091},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6610058546066284},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6146359443664551},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.5478033423423767},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.542711079120636},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.45892268419265747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3782343566417694},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3382321000099182},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.21938207745552063},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18443173170089722},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.14103516936302185},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09864842891693115},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0594557523727417},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra55743.2025.11127555","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra55743.2025.11127555","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3535963571","display_name":"A Framework for Manipulation Planning and Execution under Uncertainty in Partially-Known Environments","funder_award_id":"2336612","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1547304883","https://openalex.org/W1563854815","https://openalex.org/W1969483458","https://openalex.org/W2013198372","https://openalex.org/W2119709400","https://openalex.org/W2141664020","https://openalex.org/W2147277731","https://openalex.org/W2151958719","https://openalex.org/W2337392266","https://openalex.org/W2794922736","https://openalex.org/W3128894241","https://openalex.org/W4242741415","https://openalex.org/W4380450920","https://openalex.org/W4382463985","https://openalex.org/W4383108852","https://openalex.org/W4388660746","https://openalex.org/W4388720459","https://openalex.org/W4389519928","https://openalex.org/W4389519952","https://openalex.org/W4389523675","https://openalex.org/W4390874280","https://openalex.org/W4392517661","https://openalex.org/W4394828156","https://openalex.org/W4400646406","https://openalex.org/W4401413973","https://openalex.org/W4401414087","https://openalex.org/W4401414182","https://openalex.org/W4401414337","https://openalex.org/W4401415710","https://openalex.org/W4401416769","https://openalex.org/W4401416860","https://openalex.org/W4402354038","https://openalex.org/W4402354102","https://openalex.org/W4405785256"],"related_works":["https://openalex.org/W4233159725","https://openalex.org/W2347391878","https://openalex.org/W3049557657","https://openalex.org/W3150915502","https://openalex.org/W2347250522","https://openalex.org/W2111158727","https://openalex.org/W4388749683","https://openalex.org/W1809059965","https://openalex.org/W2024668666","https://openalex.org/W2051033938"],"abstract_inverted_index":{"Large":[0],"Language":[1,32],"Models":[2],"(LLMs)":[3],"have":[4],"demonstrated":[5],"remarkable":[6],"ability":[7],"in":[8,73,112],"long-horizon":[9],"Task":[10],"and":[11,18,40,67,82,104],"Motion":[12],"Planning":[13,29],"(TAMP)":[14],"by":[15],"translating":[16],"clear":[17],"straightforward":[19],"natural":[20,71,109],"language":[21,72,110],"problems":[22,36],"into":[23,80],"formal":[24],"specifications":[25],"such":[26,61],"as":[27,51,62],"the":[28],"Domain":[30],"Definition":[31],"(PDDL).":[33],"However,":[34],"real-world":[35],"are":[37,86],"often":[38],"ambiguous":[39],"involve":[41],"many":[42],"complex":[43,113],"constraints.":[44],"In":[45],"this":[46],"paper,":[47],"we":[48],"introduce":[49],"Constraints":[50],"Specifications":[52],"through":[53],"LLMs":[54],"(CaStL),":[55],"a":[56],"framework":[57],"that":[58],"identifies":[59],"constraints":[60,79],"goal":[63],"conditions,":[64],"action":[65,68],"ordering,":[66],"blocking":[69],"from":[70,108],"multiple":[74],"stages.":[75],"CaStL":[76,99],"translates":[77],"these":[78],"PDDL":[81,92,97],"Python":[83],"scripts,":[84],"which":[85],"then":[87],"solved":[88],"using":[89],"an":[90],"custom":[91],"solver.":[93],"Tested":[94],"across":[95],"three":[96],"domains,":[98],"significantly":[100],"improves":[101],"constraint":[102],"handling":[103],"planning":[105],"success":[106],"rates":[107],"specification":[111],"scenarios.":[114]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}