{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:57:30Z","timestamp":1781639850015,"version":"3.54.5"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"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":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539304","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["An Environment-Aware Verification Framework for LLM-Generated Robot Control Programs"],"prefix":"10.23919","author":[{"given":"Zhanshang","family":"Nie","sequence":"first","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenbo","family":"Wang","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuanming","family":"Liu","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yue","family":"Zhang","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Chen","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zirui","family":"Wang","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Huang","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuai","family":"Zhao","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,School of Computer Science and Engineering,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Inner monologue: Embodied reasoning through planning with language models","author":"Huang","year":"2022"},{"key":"ref2","first-page":"540","article-title":"Voxposer: Composable 3d value maps for robotic manipulation with language models","volume-title":"Proceedings of The 7th Conference on Robot Learning, ser. Proceedings of Machine Learning Research","volume":"229","author":"Huang"},{"key":"ref3","first-page":"287","article-title":"Do as i can, not as i say: Grounding language in robotic affordances","volume-title":"Proceedings of The 6th Conference on Robot Learning, ser. Proceedings of Machine Learning Research","volume":"205","author":"Ichter"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160591"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610784"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161317"},{"key":"ref7","article-title":"Sayplan: Grounding large language models using 3d scene graphs for scalable task planning","author":"Rana","year":"2023"},{"key":"ref8","first-page":"9118","article-title":"Language models as zero-shot planners: Extracting actionable knowledge for embodied agents","volume-title":"Proceedings of the 39th International Conference on Machine Learning, ser. Proceedings of Machine Learning Research","volume":"162","author":"Huang"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3387941"},{"key":"ref10","first-page":"131 545","article-title":"Llmdfa: analyzing dataflow in code with large language models","volume":"37","author":"Wang","year":"2024","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref11","article-title":"Lemur: Integrating large language models in automated program verification","volume-title":"The Twelfth International Conference on Learning Representations","author":"Wu"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616271"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610434"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1109\/CASE58245.2025.11163835","article-title":"Mccoder: Streamlining motion control with llm-assisted code generation and rigorous verification","author":"Li","year":"2025"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802304"},{"key":"ref16","article-title":"Ros: an open-source robot operating system","volume-title":"IEEE International Conference on Robotics and Automation","author":"Quigley"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.338262"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3334955"},{"key":"ref19","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"2006"},{"key":"ref20","volume-title":"Compilers: Principles, Techniques, and Tools.","author":"Aho","year":"2006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250705"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539304.pdf?arnumber=11539304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:41:19Z","timestamp":1781638879000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539304\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539304","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}