{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T11:06:39Z","timestamp":1779534399423,"version":"3.53.1"},"reference-count":77,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100018537","name":"National Science and Technology Major Project","doi-asserted-by":"publisher","award":["2026ZD13-06500"],"award-info":[{"award-number":["2026ZD13-06500"]}],"id":[{"id":"10.13039\/501100018537","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Network and Computer Applications"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.jnca.2026.104486","type":"journal-article","created":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T23:29:32Z","timestamp":1775604572000},"page":"104486","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["RNV-RL: Relational Network Verification using Reinforcement Learning"],"prefix":"10.1016","volume":"250","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3581-7639","authenticated-orcid":false,"given":"Yuqi","family":"Dai","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0734-1329","authenticated-orcid":false,"given":"Hua","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianxin","family":"Liao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.jnca.2026.104486_b1","series-title":"Tiramisu: Fast and general network verification","author":"Abhashkumar","year":"2019"},{"key":"10.1016\/j.jnca.2026.104486_b2","series-title":"Rela","author":"Alibaba Open Source","year":"2024"},{"key":"10.1016\/j.jnca.2026.104486_b3","series-title":"2021 Formal Methods in Computer Aided Design","first-page":"193","article-title":"Towards scalable verification of deep reinforcement learning","author":"Amir","year":"2021"},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b4","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/2578855.2535862","article-title":"Netkat: Semantic foundations for networks","volume":"49","author":"Anderson","year":"2014","journal-title":"Acm Sigplan Not."},{"key":"10.1016\/j.jnca.2026.104486_b5","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2019.04.036","article-title":"Managing engineering systems with large state and action spaces through deep reinforcement learning","volume":"191","author":"Andriotis","year":"2019","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"10.1016\/j.jnca.2026.104486_b6","doi-asserted-by":"crossref","unstructured":"Bahnasy, M., Li, F., Xiao, S., Cheng, X., 2020. Deepbgp: A machine learning approach for bgp configuration synthesis. In: Proceedings of the Workshop on Network Meets AI & ML. pp. 48\u201355.","DOI":"10.1145\/3405671.3405816"},{"key":"10.1016\/j.jnca.2026.104486_b7","series-title":"An introduction to relational program verification (2020)","author":"Barthe","year":"2024"},{"key":"10.1016\/j.jnca.2026.104486_b8","article-title":"Verifiable reinforcement learning via policy extraction","volume":"31","author":"Bastani","year":"2018","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.jnca.2026.104486_b9","doi-asserted-by":"crossref","unstructured":"Beckett, R., Gupta, A., Mahajan, R., Walker, D., 2017. A general approach to network configuration verification. In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication. pp. 155\u2013168.","DOI":"10.1145\/3098822.3098834"},{"key":"10.1016\/j.jnca.2026.104486_b10","doi-asserted-by":"crossref","unstructured":"Beckett, R., Gupta, A., Mahajan, R., Walker, D., 2019. Abstract interpretation of distributed network control planes. In: Proceedings of the ACM on Programming Languages. POPL, vol. 4, pp. 1\u201327.","DOI":"10.1145\/3371110"},{"key":"10.1016\/j.jnca.2026.104486_b11","doi-asserted-by":"crossref","unstructured":"Benson, T., Akella, A., Maltz, D.A., 2009. Mining policies from enterprise network configuration. In: Proceedings of the 9th ACM SIGCOMM Conference on Internet Measurement. pp. 136\u2013142.","DOI":"10.1145\/1644893.1644909"},{"key":"10.1016\/j.jnca.2026.104486_b12","unstructured":"Birkner, R., Drachsler-Cohen, D., Vanbever, L., Vechev, M., 2020. {Config2Spec}: Mining network specifications from network configurations. In: 17th USENIX Symposium on Networked Systems Design and Implementation. NSDI 20, pp. 969\u2013984."},{"key":"10.1016\/j.jnca.2026.104486_b13","doi-asserted-by":"crossref","unstructured":"Brown, M., Fogel, A., Halperin, D., Heorhiadi, V., Mahajan, R., Millstein, T., 2023. Lessons from the evolution of the batfish configuration analysis tool. In: Proceedings of the ACM SIGCOMM 2023 Conference. pp. 122\u2013135.","DOI":"10.1145\/3603269.3604866"},{"key":"10.1016\/j.jnca.2026.104486_b14","doi-asserted-by":"crossref","unstructured":"Chen, J., Wei, J., Feng, Y., Bastani, O., Dillig, I., 2019. Relational verification using reinforcement learning. In: Proceedings of the ACM on Programming Languages 3 OOPSLA). pp. 1\u201330.","DOI":"10.1145\/3360567"},{"key":"10.1016\/j.jnca.2026.104486_b15","series-title":"Reassessing how to compare and improve the calibration of machine learning models","author":"Chidambaram","year":"2024"},{"key":"10.1016\/j.jnca.2026.104486_b16","series-title":"AAAI","first-page":"183","article-title":"Reinforcement learning with perceptual aliasing: The perceptual distinctions approach","volume":"Vol. 1992","author":"Chrisman","year":"1992"},{"key":"10.1016\/j.jnca.2026.104486_b17","doi-asserted-by":"crossref","DOI":"10.1109\/TNSM.2024.3442298","article-title":"Multimodal multitask control plane verification framework","author":"Dai","year":"2024","journal-title":"IEEE Trans. Netw. Serv. Manag."},{"key":"10.1016\/j.jnca.2026.104486_b18","series-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"337","article-title":"Z3: An efficient smt solver","author":"De Moura","year":"2008"},{"key":"10.1016\/j.jnca.2026.104486_b19","series-title":"NOMS 2024-2024 IEEE Network Operations and Management Symposium","first-page":"1","article-title":"Intent assurance using llms guided by intent drift","author":"Dzeparoska","year":"2024"},{"issue":"14","key":"10.1016\/j.jnca.2026.104486_b20","doi-asserted-by":"crossref","first-page":"2753","DOI":"10.3390\/en12142753","article-title":"Leveraging on the cognitive radio channel aggregation strategy for next generation utility networks","volume":"12","author":"Ebenezer","year":"2019","journal-title":"Energies"},{"key":"10.1016\/j.jnca.2026.104486_b21","unstructured":"El-Hassany, A., Tsankov, P., Vanbever, L., Vechev, M., 2018. {NetComplete}: Practical {Network-Wide} configuration synthesis with autocompletion. In: 15th USENIX Symposium on Networked Systems Design and Implementation. NSDI 18, pp. 579\u2013594."},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b22","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1147\/rd.91.0047","article-title":"On relations defined by generalized finite automata","volume":"9","author":"Elgot","year":"1965","journal-title":"IBM J. Res. Dev."},{"key":"10.1016\/j.jnca.2026.104486_b23","doi-asserted-by":"crossref","first-page":"4794","DOI":"10.1109\/ACCESS.2022.3140595","article-title":"Integrating artificial intelligence internet of things and 5 g for next-generation smartgrid: A survey of trends challenges and prospect","volume":"10","author":"Esenogho","year":"2022","journal-title":"IEEE Access"},{"key":"10.1016\/j.jnca.2026.104486_b24","doi-asserted-by":"crossref","first-page":"16400","DOI":"10.1109\/ACCESS.2022.3148298","article-title":"A neural network ensemble with feature engineering for improved credit card fraud detection","volume":"10","author":"Esenogho","year":"2022","journal-title":"IEEE Access"},{"key":"10.1016\/j.jnca.2026.104486_b25","series-title":"International Conference on Machine Learning","first-page":"1126","article-title":"Model-agnostic meta-learning for fast adaptation of deep networks","author":"Finn","year":"2017"},{"key":"10.1016\/j.jnca.2026.104486_b26","unstructured":"Fogel, A., Fung, S., Pedrosa, L., Walraed-Sullivan, M., Govindan, R., Mahajan, R., Millstein, T., 2015. A general approach to network configuration analysis. In: 12th USENIX Symposium on Networked Systems Design and Implementation. NSDI 15, pp. 469\u2013483."},{"key":"10.1016\/j.jnca.2026.104486_b27","series-title":"Domain-Specific Languages","author":"Fowler","year":"2010"},{"key":"10.1016\/j.jnca.2026.104486_b28","doi-asserted-by":"crossref","unstructured":"Gember-Jacobson, A., Viswanathan, R., Akella, A., Mahajan, R., 2016. Fast control plane analysis using an abstract representation. In: Proceedings of the 2016 ACM SIGCOMM Conference. pp. 300\u2013313.","DOI":"10.1145\/2934872.2934876"},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b29","first-page":"1","article-title":"Verification of forecasts expressed in terms of probability","volume":"78","author":"Glenn","year":"1950","journal-title":"Mon. Weather Rev."},{"key":"10.1016\/j.jnca.2026.104486_b30","series-title":"Introduction To Formal Language Theory","author":"Harrison","year":"1978"},{"issue":"10","key":"10.1016\/j.jnca.2026.104486_b31","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b32","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/568438.568455","article-title":"Introduction to automata theory, languages, and computation","volume":"32","author":"Hopcroft","year":"2001","journal-title":"Acm Sigact News"},{"key":"10.1016\/j.jnca.2026.104486_b33","series-title":"International Conference on Computer Aided Verification","first-page":"193","article-title":"Trainify: A cegar-driven training and verification framework for safe deep reinforcement learning","author":"Jin","year":"2022"},{"key":"10.1016\/j.jnca.2026.104486_b34","doi-asserted-by":"crossref","unstructured":"Kheradmand, A., 2020. Automatic inference of high-level network intents by mining forwarding patterns. In: Proceedings of the Symposium on SDN Research. pp. 27\u201333.","DOI":"10.1145\/3373360.3380831"},{"key":"10.1016\/j.jnca.2026.104486_b35","unstructured":"Kim, H., Reich, J., Gupta, A., Shahbaz, M., Feamster, N., Clark, R., 2015. Kinetic: Verifiable dynamic network control. In: 12th USENIX Symposium on Networked Systems Design and Implementation. NSDI 15, pp. 59\u201372."},{"key":"10.1016\/j.jnca.2026.104486_b36","series-title":"Efficient Topology Discovery Protocol using IT-SDN for Software-Defined Wireless Sensor Networks","author":"Kipongo","year":"2021"},{"key":"10.1016\/j.jnca.2026.104486_b37","doi-asserted-by":"crossref","first-page":"3140","DOI":"10.1109\/ACCESS.2023.3347778","article-title":"Artificial intelligence-based intrusion detection and prevention in edge-assisted sdwsn with modified honeycomb structure","volume":"12","author":"Kipongo","year":"2023","journal-title":"IEEE Access"},{"key":"10.1016\/j.jnca.2026.104486_b38","doi-asserted-by":"crossref","first-page":"309","DOI":"10.24425\/ijet.2023.144366","article-title":"Design and implementation of intrusion detection systems using rpl and aovd protocols-based wireless sensor networks","author":"Kipongo","year":"2023","journal-title":"Int. J. Electron. Telecommun."},{"issue":"9","key":"10.1016\/j.jnca.2026.104486_b39","doi-asserted-by":"crossref","first-page":"1765","DOI":"10.1109\/JSAC.2011.111002","article-title":"The internet topology zoo","volume":"29","author":"Knight","year":"2011","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"10.1016\/j.jnca.2026.104486_b40","series-title":"2011 IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning","first-page":"1","article-title":"Approximate reinforcement learning: An overview","author":"L. Bu\u015foniu","year":"2011"},{"issue":"14s","key":"10.1016\/j.jnca.2026.104486_b41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3596444","article-title":"Deep reinforcement learning verification: A survey","volume":"55","author":"Landers","year":"2023","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"10.1016\/j.jnca.2026.104486_b42","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00977785","article-title":"Two algorithms for constructing a delaunay triangulation","volume":"9","author":"Lee","year":"1980","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"10.1016\/j.jnca.2026.104486_b43","doi-asserted-by":"crossref","unstructured":"Li, Y., Jia, J., Hu, X., Li, J., 2019. Real time control plane verification. In: Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages. pp. 2\u20132.","DOI":"10.1145\/3341561.3349591"},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b44","doi-asserted-by":"crossref","first-page":"940","DOI":"10.1109\/COMST.2018.2868050","article-title":"A survey on network verification and testing with formal methods: Approaches and challenges","volume":"21","author":"Li","year":"2018","journal-title":"IEEE Commun. Surv. & Tutor."},{"key":"10.1016\/j.jnca.2026.104486_b45","series-title":"Configuration validation with large language models","author":"Lian","year":"2023"},{"key":"10.1016\/j.jnca.2026.104486_b46","series-title":"Grid search, random search, genetic algorithm: A big comparison for nas","author":"Liashchynskyi","year":"2019"},{"key":"10.1016\/j.jnca.2026.104486_b47","series-title":"IJCAI","first-page":"519","article-title":"Auc: A statistically consistent and more discriminating measure than accuracy","volume":"Vol. 3","author":"Ling","year":"2003"},{"key":"10.1016\/j.jnca.2026.104486_b48","doi-asserted-by":"crossref","unstructured":"Liu, H.H., Wu, X., Zhou, W., Chen, W., Wang, T., Xu, H., Zhou, L., Ma, Q., Zhang, M., 2018. Automatic life cycle management of network configurations. In: Proceedings of the Afternoon Workshop on Self-Driving Networks. pp. 29\u201335.","DOI":"10.1145\/3229584.3229585"},{"key":"10.1016\/j.jnca.2026.104486_b49","doi-asserted-by":"crossref","unstructured":"Liu, H.H., Zhu, Y., Padhye, J., Cao, J., Tallapragada, S., Lopes, N.P., Rybalchenko, A., Lu, G., Yuan, L., 2017. Crystalnet: Faithfully emulating large production networks. In: Proceedings of the 26th Symposium on Operating Systems Principles. pp. 599\u2013613.","DOI":"10.1145\/3132747.3132759"},{"key":"10.1016\/j.jnca.2026.104486_b50","series-title":"Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13\u201315, 2019, Proceedings 20","first-page":"386","article-title":"Fast bgp simulation of large datacenters","author":"Lopes","year":"2019"},{"key":"10.1016\/j.jnca.2026.104486_b51","series-title":"Mesa: Offline meta-rl for safe adaptation and fault tolerance","author":"Luo","year":"2021"},{"key":"10.1016\/j.jnca.2026.104486_b52","series-title":"On computing minimum unsatisfiable cores","author":"Lynce","year":"2004"},{"key":"10.1016\/j.jnca.2026.104486_b53","series-title":"Empirically verifying hypotheses using reinforcement learning","author":"Marino","year":"2020"},{"key":"10.1016\/j.jnca.2026.104486_b54","article-title":"Guided policy search via approximate mirror descent","volume":"29","author":"Montgomery","year":"2016","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.jnca.2026.104486_b55","article-title":"Spearman correlation coefficients, differences between","volume":"12","author":"Myers","year":"2004","journal-title":"Encycl. Stat. Sci."},{"issue":"4","key":"10.1016\/j.jnca.2026.104486_b56","doi-asserted-by":"crossref","first-page":"2867","DOI":"10.1520\/JTE20180332","article-title":"Optimal point-to-point path planning of manipulator by using vibration damping optimization algorithm and game theory method","volume":"47","author":"Nobari","year":"2019","journal-title":"J. Test. Eval."},{"key":"10.1016\/j.jnca.2026.104486_b57","series-title":"Automatic differentiation in pytorch","author":"Paszke","year":"2017"},{"key":"10.1016\/j.jnca.2026.104486_b58","series-title":"Verif: Verification engineering for reinforcement learning in instruction following","author":"Peng","year":"2025"},{"key":"10.1016\/j.jnca.2026.104486_b59","unstructured":"Prabhu, S., Chou, K.Y., Kheradmand, A., Godfrey, B., Caesar, M., 2020. Plankton: Scalable network configuration verification through model checking. In: 17th USENIX Symposium on Networked Systems Design and Implementation. NSDI 20, pp. 953\u2013967."},{"key":"10.1016\/j.jnca.2026.104486_b60","series-title":"Proximal policy optimization algorithms","author":"Schulman","year":"2017"},{"key":"10.1016\/j.jnca.2026.104486_b61","article-title":"Learning loop invariants for program verification","volume":"31","author":"Si","year":"2018","journal-title":"Adv. Neural Inf. Process. Syst."},{"issue":"9","key":"10.1016\/j.jnca.2026.104486_b62","doi-asserted-by":"crossref","first-page":"3211","DOI":"10.1007\/s10994-023-06336-7","article-title":"Classifier calibration: A survey on how to assess and improve predicted class probabilities","volume":"112","author":"Silva Filho","year":"2023","journal-title":"Mach. Learn."},{"key":"10.1016\/j.jnca.2026.104486_b63","series-title":"Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14\u201317, 2018, Proceedings, Part I 30","first-page":"211","article-title":"Fast numerical program analysis with reinforcement learning","author":"Singh","year":"2018"},{"key":"10.1016\/j.jnca.2026.104486_b64","doi-asserted-by":"crossref","unstructured":"Sung, Y.-W.E., Tie, X., Wong, S.H., Zeng, H., 2016. Robotron: Top-down network management at facebook scale. In: Proceedings of the 2016 ACM SIGCOMM Conference. pp. 426\u2013439.","DOI":"10.1145\/2934872.2934874"},{"key":"10.1016\/j.jnca.2026.104486_b65","series-title":"Reinforcement Learning: An Introduction","author":"Sutton","year":"2018"},{"key":"10.1016\/j.jnca.2026.104486_b66","article-title":"Policy gradient methods for reinforcement learning with function approximation","volume":"12","author":"Sutton","year":"1999","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.jnca.2026.104486_b67","series-title":"Foundations of artificial intelligence","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1574-6526(06)80008-8","article-title":"Backtracking search algorithms","volume":"Vol. 2","author":"Van Beek","year":"2006"},{"key":"10.1016\/j.jnca.2026.104486_b68","series-title":"Error Budgeting","author":"Vinyard","year":"2017"},{"key":"10.1016\/j.jnca.2026.104486_b69","doi-asserted-by":"crossref","unstructured":"Wang, J., Wang, C., 2022. Learning to synthesize relational invariants. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering. pp. 1\u201312.","DOI":"10.1145\/3551349.3556942"},{"key":"10.1016\/j.jnca.2026.104486_b70","doi-asserted-by":"crossref","unstructured":"Weitz, K., Woos, D., Torlak, E., Ernst, M.D., Krishnamurthy, A., Tatlock, Z., 2016. Scalable verification of border gateway protocol configurations with an smt solver. In: Proceedings of the 2016 Acm Sigplan International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pp. 765\u2013780.","DOI":"10.1145\/2983990.2984012"},{"key":"10.1016\/j.jnca.2026.104486_b71","series-title":"Relational network verification","author":"Xu","year":"2024"},{"key":"10.1016\/j.jnca.2026.104486_b72","doi-asserted-by":"crossref","unstructured":"Ye, F., Yu, D., Zhai, E., Liu, H.H., Tian, B., Ye, Q., Wang, C., Wu, X., Guo, T., Jin, C., et al., 2020. Accuracy, scalability, coverage: A practical configuration verifier on a global wan. In: Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication. pp. 599\u2013614.","DOI":"10.1145\/3387514.3406217"},{"issue":"9","key":"10.1016\/j.jnca.2026.104486_b73","doi-asserted-by":"crossref","first-page":"6361","DOI":"10.1109\/TCOMM.2021.3089476","article-title":"Multi-objective optimization for uav-assisted wireless powered iot networks based on extended ddpg algorithm","volume":"69","author":"Yu","year":"2021","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/j.jnca.2026.104486_b74","doi-asserted-by":"crossref","unstructured":"Zeng, H., Kazemian, P., Varghese, G., McKeown, N., 2012. Automatic test packet generation. In: Proceedings of the 8th International Conference on Emerging Networking Experiments and Technologies. pp. 241\u2013252.","DOI":"10.1145\/2413176.2413205"},{"key":"10.1016\/j.jnca.2026.104486_b75","unstructured":"Zhang, P., Gember-Jacobson, A., Zuo, Y., Huang, Y., Liu, X., Li, H., 2022. Differential network analysis. In: 19th USENIX Symposium on Networked Systems Design and Implementation. NSDI 22, pp. 601\u2013615."},{"issue":"1","key":"10.1016\/j.jnca.2026.104486_b76","doi-asserted-by":"crossref","first-page":"8286","DOI":"10.1038\/s41598-025-93175-2","article-title":"Deep reinforcement learning trajectory planning for robotic manipulator based on simulation-efficient training","volume":"15","author":"Zhao","year":"2025","journal-title":"Sci. Rep."},{"issue":"7","key":"10.1016\/j.jnca.2026.104486_b77","doi-asserted-by":"crossref","first-page":"3715","DOI":"10.1109\/TSE.2023.3269804","article-title":"A search-based testing approach for deep reinforcement learning agents","volume":"49","author":"Zolfagharian","year":"2023","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Journal of Network and Computer Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1084804526000615?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1084804526000615?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T10:58:22Z","timestamp":1779533902000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1084804526000615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":77,"alternative-id":["S1084804526000615"],"URL":"https:\/\/doi.org\/10.1016\/j.jnca.2026.104486","relation":{},"ISSN":["1084-8045"],"issn-type":[{"value":"1084-8045","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"RNV-RL: Relational Network Verification using Reinforcement Learning","name":"articletitle","label":"Article Title"},{"value":"Journal of Network and Computer Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jnca.2026.104486","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"104486"}}