{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T19:04:34Z","timestamp":1783969474847,"version":"3.55.0"},"publisher-location":"Singapore","reference-count":20,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819233991","type":"print"},{"value":"9789819234004","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T00:00:00Z","timestamp":1783987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T00:00:00Z","timestamp":1783987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-981-92-3400-4_13","type":"book-chapter","created":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T18:15:05Z","timestamp":1783966505000},"page":"154-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Closed-Loop Network Configuration Update Optimization with Structured Formal Feedback"],"prefix":"10.1007","author":[{"given":"Yuhang","family":"Yan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingqi","family":"Guo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danyang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"QianLi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mei","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Chang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lu","family":"Lu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,14]]},"reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/COMST.2022.3215919","volume":"25","author":"A Leivadeas","year":"2023","unstructured":"Leivadeas, A., Falkner, M.: A survey on intent-based networking. IEEE Commun Surv Tutor. 25(1), 625\u2013655 (2023)","journal-title":"IEEE Commun Surv Tutor"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Mondal, R., Beckett, R., Tang, A., Millstein, T., Varghese, G.: What do LLMs Need to Synthesize Correct Router Configurations? In: Proceedings of the 2023 ACM Workshop on Hot Topics in Networks (HotNets\u201923), pp. 31\u201338. ACM, New York (2023).","DOI":"10.1145\/3626111.3628194"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Wang, C., Scazzariello, M., Farshin, A., Ferlin, S., Kosti\u0107, D., Chiesa, M.: NetConfEval: Can LLMs Facilitate Network Configuration? Proceedings of the ACM on Networking 2(CoNEXT2), Article 7:1\u20137:25 (2024).","DOI":"10.1145\/3656296"},{"key":"13_CR4","first-page":"469","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201815)","author":"A Fogel","year":"2015","unstructured":"Fogel, A., et al.: A general approach to network configuration analysis. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201815), pp. 469\u2013483. USENIX Association, Berkeley (2015)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Brown, M., Fogel, A., Halperin, D., Heorhiadi, V., Mahajan, R., Millstein, T.: Lessons from the Evolution of the Batfish Configuration Analysis Tool. In: Proceedings of the ACM SIGCOMM 2023 Conference, pp. 122\u2013135. ACM, New York (2023).","DOI":"10.1145\/3603269.3604866"},{"key":"13_CR6","first-page":"601","volume-title":"19th USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201822)","author":"P Zhang","year":"2022","unstructured":"Zhang, P., Gember-Jacobson, A., Zuo, Y., Huang, Y., Liu, X., Li, H.: Differential network analysis. In: 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201822), pp. 601\u2013615. USENIX Association, Berkeley (2022)"},{"key":"13_CR7","unstructured":"Schulman, J., Wolski, F., Dhariwal, P., Radford, A., Klimov, O.: Proximal Policy Optimization Algorithms. arXiv Preprint https:\/\/arxiv.org\/abs\/1707.06347 (2017)."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"10512","DOI":"10.1109\/OJCOMS.2025.3642642","volume":"6","author":"MK Hossain","year":"2025","unstructured":"Hossain, M.K., Aljoby, W.: NetIntent: leveraging large language models for end-to-end intent-based SDN automation. IEEE Open J. Commun. Soc. 6, 10512\u201310541 (2025)","journal-title":"IEEE Open J. Commun. Soc."},{"key":"13_CR9","first-page":"1","volume-title":"2024 20th International Conference on Network and Service Management (CNSM)","author":"S Chakraborty","year":"2024","unstructured":"Chakraborty, S., Chitta, N., Sundaresan, R.: Demonstration of automation of network configuration generation using generative AI. In: 2024 20th International Conference on Network and Service Management (CNSM), pp. 1\u20133. IEEE, Prague (2024)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/NetSoft60951.2024.10588879","volume-title":"2024 IEEE 10th International Conference on Network Softwarization (NetSoft)","author":"A Fuad","year":"2024","unstructured":"Fuad, A., Ahmed, A.H., Riegler, M.A., \u010ci\u010di\u0107, T.: An intent-based networks framework based on large language models. In: 2024 IEEE 10th International Conference on Network Softwarization (NetSoft), pp. 7\u201312. IEEE, Saint Louis (2024)"},{"key":"13_CR11","volume":"26","author":"C Wang","year":"2025","unstructured":"Wang, C., Li, H.: MNC: a multi-agent framework for complex network configuration. Intell. Syst. Appl. 26, 200531 (2025)","journal-title":"Intell. Syst. Appl."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Beckett, R., Gupta, A., Mahajan, R., Walker, D.: A general approach to network configuration verification. In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication, pp. 155\u2013168. ACM, Los Angeles (2017).","DOI":"10.1145\/3098822.3098834"},{"key":"13_CR13","first-page":"237","volume-title":"22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201925)","author":"Z Li","year":"2025","unstructured":"Li, Z., Zhang, P., Zhang, Y., Yang, H.: NDD: a decision diagram for network verification. In: 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201925), pp. 237\u2013258. USENIX Association, Philadelphia (2025)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"46534","DOI":"10.52202\/075280-2019","volume":"36","author":"A Madaan","year":"2023","unstructured":"Madaan, A., et al.: Self-refine: iterative refinement with self-feedback. Adv. Neural Inf. Process. Syst. 36, 46534\u201346594 (2023)","journal-title":"Adv. Neural Inf. Process. Syst."},{"issue":"5","key":"13_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MNET.2024.3420120","volume":"38","author":"A Mekrache","year":"2024","unstructured":"Mekrache, A., Ksentini, A., Verikoukis, C.: Intent-based management of next-generation networks: an LLM-centric approach. IEEE Netw. 38(5), 29\u201336 (2024)","journal-title":"IEEE Netw."},{"key":"13_CR16","unstructured":"Ifland, B., et al.: GeNet: A Multimodal LLM-Based Co-Pilot for Network Topology and Configuration. arXiv Preprint https:\/\/arxiv.org\/abs\/2407.08249 (2024)."},{"issue":"4","key":"13_CR17","doi-asserted-by":"publisher","first-page":"2064","DOI":"10.1109\/COMST.2021.3102580","volume":"23","author":"Y Xiao","year":"2021","unstructured":"Xiao, Y., Liu, J., Wu, J., Ansari, N.: Leveraging deep reinforcement learning for traffic engineering: a survey. IEEE Commun Surv Tutor. 23(4), 2064\u20132097 (2021)","journal-title":"IEEE Commun Surv Tutor"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Chen, J. et al.: Deep reinforcement learning based dynamic routing optimization for delay-sensitive applications. GLOBECOM 2023\u20132023 IEEE Global Communications Conference, pp. 5208\u20135213. IEEE, Kuala Lumpur (2023).","DOI":"10.1109\/GLOBECOM54140.2023.10437439"},{"issue":"22","key":"13_CR19","doi-asserted-by":"publisher","first-page":"12520","DOI":"10.3390\/app132212520","volume":"13","author":"Y Zhang","year":"2023","unstructured":"Zhang, Y., et al.: Multi-path routing algorithm based on deep reinforcement learning for SDN. Appl. Sci. 13(22), 12520 (2023)","journal-title":"Appl. Sci."},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s44443-025-00133-z","volume":"37","author":"J Lu","year":"2025","unstructured":"Lu, J., Tang, C., Ma, W., Xing, W.: Graph-based reinforcement learning for software-defined networking traffic engineering. J. King Saud Univ. Comput. Inf. Sci. 37, 119 (2025)","journal-title":"J. King Saud Univ. Comput. Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Technology and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-3400-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T18:15:07Z","timestamp":1783966507000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-3400-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,14]]},"ISBN":["9789819233991","9789819234004"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-3400-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,14]]},"assertion":[{"value":"14 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icic2026a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ic-icc.cn\/2026\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}