{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:44:16Z","timestamp":1757612656409,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation Award","award":["2402650; 2046588"],"award-info":[{"award-number":["2402650; 2046588"]}]},{"DOI":"10.13039\/501100006374","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-24-C-B001"],"award-info":[{"award-number":["FA8750-24-C-B001"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716550.3725163","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic Translation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6669-4568","authenticated-orcid":false,"given":"Eshita","family":"Shukla","sequence":"first","affiliation":[{"name":"Arizona State University, Tempe, Arizona, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8020-9346","authenticated-orcid":false,"given":"Quinn","family":"Thibeault","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, Arizona, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6726-9790","authenticated-orcid":false,"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, Arizona, United States"}]}],"member":"320","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40537-021-00444-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci Jyotirmoy Deshmukh Alexandre Donz\u00e9 Georgios Fainekos Oded Maler Dejan Ni\u010dkovi\u0107 and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory tools and applications. Lectures on Runtime Verification: Introductory and Advanced Topics 135--175.","DOI":"10.1007\/978-3-319-75632-5_5"},{"volume-title":"Systems and software verification: model-checking techniques and tools","author":"B\u00e9rard B\u00e9atrice","key":"e_1_3_2_1_3_1","unstructured":"B\u00e9atrice B\u00e9rard, Michel Bidoit, Alain Finkel, Fran\u00e7ois Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. 2013. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Yongchao Chen Rujul Gandhi Yang Zhang and Chuchu Fan. 2023. Nl2tl: transforming natural languages to temporal logics using large language models. (2023). arXiv: 2305.07766 [cs.CL].","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"Clarke Edmund M.","key":"e_1_3_2_1_5_1","unstructured":"Edmund M. Clarke. 1997. Model checking. In Foundations of Software Technology and Theoretical Computer Science. S. Ramesh and G. Sivakumar, (Eds.) Springer Berlin Heidelberg, Berlin, Heidelberg, 54--56. ISBN: 978-3-540-69659-9."},{"volume-title":"Natural language processing for requirements engineering: the best is yet to come","author":"Dalpiaz Fabiano","key":"e_1_3_2_1_6_1","unstructured":"Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, and Cristina Palomares. 2018. Natural language processing for requirements engineering: the best is yet to come. IEEE software, 35, 5, 115--119."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581406"},{"volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Manna Zohar","key":"e_1_3_2_1_8_1","unstructured":"Zohar Manna and Amir Pnueli. 2012. The temporal logic of reactive and concurrent systems: Specification. Springer Science & Business Media."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_10_1","unstructured":"Quinn Thibeault Jacob Anderson Aniruddh Chandratre Giulia Pedrielli and Georgios Fainekos. 2021. Psy-taliro: a python toolbox for search-based test generation for cyber-physical systems. (2021). https:\/\/arxiv.org\/abs\/2106.02200 arXiv: 2106.02200 [cs.SE]."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2753\/MIS0742-1222280402"}],"event":{"name":"ICCPS '25: ACM\/IEEE 16th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"ICCPS '25"},"container-title":["Proceedings of the ACM\/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3725163","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3725163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:01:06Z","timestamp":1756994466000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3725163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":11,"alternative-id":["10.1145\/3716550.3725163","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3725163","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}