{"id":"https://openalex.org/W4401415471","doi":"https://doi.org/10.1109/icra57147.2024.10611447","title":"Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents","display_name":"Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401415471","doi":"https://doi.org/10.1109/icra57147.2024.10611447"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10611447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 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":"https://openalex.org/A5100665678","display_name":"Ziyi Yang","orcid":"https://orcid.org/0000-0002-7461-377X"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziyi Yang","raw_affiliation_strings":["Brown University,Department of Computer Science,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University,Department of Computer Science,United States","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084369883","display_name":"Shreyas Sundara Raman","orcid":null},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shreyas S. Raman","raw_affiliation_strings":["Brown University,Department of Computer Science,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University,Department of Computer Science,United States","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019541211","display_name":"Ankit Shah","orcid":"https://orcid.org/0000-0002-4651-4651"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ankit Shah","raw_affiliation_strings":["Brown University,Department of Computer Science,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University,Department of Computer Science,United States","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059273574","display_name":"Stefanie Tellex","orcid":"https://orcid.org/0000-0002-2905-4075"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stefanie Tellex","raw_affiliation_strings":["Brown University,Department of Computer Science,United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University,Department of Computer Science,United States","institution_ids":["https://openalex.org/I27804330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27804330"],"apc_list":null,"apc_paid":null,"fwci":23.8233,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.99791785,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"14435","last_page":"14442"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.989799976348877,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9850999712944031,"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/computer-science","display_name":"Computer science","score":0.610170841217041},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.5979591608047485},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5831469893455505},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.5175884962081909},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.4615149199962616},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4303944706916809},{"id":"https://openalex.org/keywords/plug-and-play","display_name":"Plug and play","score":0.4207797050476074},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3809462785720825},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21194887161254883},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.09234851598739624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09093999862670898},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09078085422515869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.610170841217041},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.5979591608047485},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5831469893455505},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.5175884962081909},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.4615149199962616},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4303944706916809},{"id":"https://openalex.org/C2780070844","wikidata":"https://www.wikidata.org/wiki/Q857815","display_name":"Plug and play","level":2,"score":0.4207797050476074},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3809462785720825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21194887161254883},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.09234851598739624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09093999862670898},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09078085422515869}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10611447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W209085883","https://openalex.org/W1825341937","https://openalex.org/W2023808162","https://openalex.org/W2031188261","https://openalex.org/W2238768211","https://openalex.org/W2295357975","https://openalex.org/W2799002257","https://openalex.org/W2807172739","https://openalex.org/W2948430169","https://openalex.org/W2977713273","https://openalex.org/W3039732322","https://openalex.org/W3103548289","https://openalex.org/W3122171607","https://openalex.org/W3194815930","https://openalex.org/W3208573250","https://openalex.org/W4221152848","https://openalex.org/W4224912544","https://openalex.org/W4225603137","https://openalex.org/W4229856339","https://openalex.org/W4281480521","https://openalex.org/W4282813354","https://openalex.org/W4285069854","https://openalex.org/W4285428875","https://openalex.org/W4304195432","https://openalex.org/W4308243713","https://openalex.org/W4320559489","https://openalex.org/W4366999541","https://openalex.org/W4383097638","https://openalex.org/W4383108457","https://openalex.org/W4383108852","https://openalex.org/W4383108895","https://openalex.org/W4386766398","https://openalex.org/W4389519952","https://openalex.org/W4393065402","https://openalex.org/W6748236546","https://openalex.org/W6809509765","https://openalex.org/W6810242208","https://openalex.org/W6810640255","https://openalex.org/W6838701874","https://openalex.org/W6838831651","https://openalex.org/W6839459284","https://openalex.org/W6839928859","https://openalex.org/W6842594805","https://openalex.org/W6843382641","https://openalex.org/W6843795035","https://openalex.org/W6846254642","https://openalex.org/W6850072970","https://openalex.org/W6852136651"],"related_works":["https://openalex.org/W2279095528","https://openalex.org/W2352394813","https://openalex.org/W2360042170","https://openalex.org/W2368465758","https://openalex.org/W2108894446","https://openalex.org/W4223592178","https://openalex.org/W2065289416","https://openalex.org/W2017236304","https://openalex.org/W2136854845","https://openalex.org/W4232608805"],"abstract_inverted_index":{"Recent":[0],"advancements":[1],"in":[2,112,123,169],"large":[3],"language":[4,144],"models":[5],"(LLMs)":[6],"have":[7],"enabled":[8],"a":[9,124,129,174],"new":[10],"research":[11],"domain,":[12],"LLM":[13,121],"agents,":[14],"for":[15,57,95,108,200],"solving":[16],"robotics":[17],"and":[18,26,153,155,172,190],"planning":[19],"tasks":[20],"by":[21],"leveraging":[22],"the":[23,44,46,48,67,69,78,120,161,187],"world":[24],"knowledge":[25],"general":[27],"reasoning":[28,152],"abilities":[29],"of":[30,81,163],"LLMs":[31],"obtained":[32],"during":[33],"pretraining.":[34],"However,":[35],"while":[36],"considerable":[37],"effort":[38],"has":[39],"been":[40],"made":[41],"to":[42,65,146,186],"teach":[43,66],"robot":[45,68],"\"dos\",":[47],"\"don\u2019ts\"":[49],"received":[50],"relatively":[51],"less":[52],"attention.":[53],"We":[54],"argue":[55],"that,":[56],"any":[58],"practical":[59,201],"usage,":[60],"it":[61],"is":[62,93],"as":[63,102],"crucial":[64],"\"don\u2019ts\":":[70],"conveying":[71],"explicit":[72],"instructions":[73],"about":[74],"prohibited":[75],"actions,":[76],"assessing":[77],"robot\u2019s":[79],"comprehension":[80],"these":[82],"restrictions,":[83],"and,":[84],"most":[85],"importantly,":[86],"ensuring":[87],"compliance.":[88],"Moreover,":[89],"verifiable":[90],"safe":[91],"operation":[92],"essential":[94],"deployments":[96],"that":[97,140,181],"satisfy":[98],"worldwide":[99],"standards":[100,107],"such":[101],"ISO":[103],"61508,":[104],"which":[105],"defines":[106],"safely":[109],"deploying":[110,119],"robots":[111],"industrial":[113],"factory":[114],"environments":[115],"worldwide.":[116],"Aiming":[117],"at":[118],"agents":[122],"collaborative":[125],"environment,":[126],"we":[127,166],"propose":[128],"queryable":[130],"safety":[131,150,188,195],"constraint":[132],"module":[133],"based":[134],"on":[135,173],"linear":[136],"temporal":[137,147],"logic":[138],"(LTL)":[139],"simultaneously":[141],"enables":[142],"natural":[143],"(NL)":[145],"constraints":[148,189],"encoding,":[149],"violation":[151],"explaining,":[154],"unsafe":[156],"action":[157],"pruning.":[158],"To":[159],"demonstrate":[160],"effectiveness":[162],"our":[164,182],"system,":[165],"conducted":[167],"experiments":[168],"VirtualHome":[170],"environment":[171],"real":[175],"robot.":[176],"The":[177],"experimental":[178],"results":[179],"show":[180],"system":[183],"strictly":[184],"adheres":[185],"scales":[191],"well":[192],"with":[193],"complex":[194],"constraints,":[196],"highlighting":[197],"its":[198],"potential":[199],"utility.":[202]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":19},{"year":2024,"cited_by_count":9}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}