{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T07:06:18Z","timestamp":1784099178084,"version":"3.55.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"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,5,24]]},"DOI":"10.1109\/icc59461.2026.11587622","type":"proceedings-article","created":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T19:38:09Z","timestamp":1784057889000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["LLM-Assisted PDDL Modeling for Reliable Network Configuration Synthesis"],"prefix":"10.1109","author":[{"given":"Nobukazu","family":"Fukuda","sequence":"first","affiliation":[{"name":"NTT, Inc.,Access Network Service Systems Laboratories,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuki","family":"Ito","sequence":"additional","affiliation":[{"name":"NTT, Inc.,Access Network Service Systems Laboratories,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haruhisa","family":"Nozue","sequence":"additional","affiliation":[{"name":"NTT, Inc.,Access Network Service Systems Laboratories,Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"601","article-title":"Differential network analysis","volume-title":"Proc. USENIX NSDI","author":"Zhang"},{"key":"ref2","first-page":"629","article-title":"Practical intent-driven routing configuration synthesis","volume-title":"Proc. USENIX NSDI","author":"Ramanathan"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672238"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3718958.3754343"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628205"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3629553"},{"key":"ref8","article-title":"NetPress: Dynamically generated LLM benchmarks for network applications","author":"Zhou","year":"2025"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628194"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3656296"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3728725.3728742"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.52202\/079017-1230"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i18.30006"},{"key":"ref15","article-title":"Generating symbolic world models via test-time scaling of Large Language Models","author":"Yu","year":"2025"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.52202\/068431-0053"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.001.2300313"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2022.3229675"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672220"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM52122.2024.10621215"},{"key":"ref21","first-page":"579","article-title":"Netcomplete: practical network-wide configuration synthesis with autocompletion","volume-title":"Proc. USENIX NSDI","author":"El-Hassany"},{"key":"ref22","first-page":"969","article-title":"Config2Spec: mining network specifications from network configurations","volume-title":"Proc. USENIX NSDI","author":"Birkner"},{"key":"ref23","article-title":"PDDL \u2013 The Planning Domain Definition Language (Version 1.2)","volume-title":"Yale Center for Computational Vision and Control, Yale University, Tech. Rep.","author":"McDermott","year":"1998"},{"key":"ref24","article-title":"International Planning Competition","year":"1998"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604866"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"ref27","article-title":"PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition","volume-title":"University of Freiburg, Tech. Rep.","author":"Edelkamp","year":"2004"},{"key":"ref28","article-title":"gpt-oss-120b & gpt-oss-20b model card","year":"2025"}],"event":{"name":"ICC 2026 - IEEE International Conference on Communications","location":"Glasgow, United Kingdom","start":{"date-parts":[[2026,5,24]]},"end":{"date-parts":[[2026,5,28]]}},"container-title":["ICC 2026 - IEEE International Conference on Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11586754\/11586037\/11587622.pdf?arnumber=11587622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T06:14:54Z","timestamp":1784096094000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11587622\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,24]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icc59461.2026.11587622","relation":{},"subject":[],"published":{"date-parts":[[2026,5,24]]}}}