{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T15:11:55Z","timestamp":1778080315419,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":61,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819586165","type":"print"},{"value":"9789819586172","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-8617-2_3","type":"book-chapter","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T14:26:30Z","timestamp":1778077590000},"page":"59-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Neural Network-Controlled Systems via Proof Certificates"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8280-7312","authenticated-orcid":false,"given":"Dapeng","family":"Zhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3241-0023","authenticated-orcid":false,"given":"Peixin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1938-2902","authenticated-orcid":false,"given":"Min","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., David, C., Kesseli, P., Kroening, D., Polgreen, E.: Counterexample guided inductive synthesis modulo theories. In: CAV, pp. 270\u2013288 (2018)","DOI":"10.1007\/978-3-319-96145-3_15"},{"key":"3_CR2","unstructured":"Amir, G., Schapira, M., Katz, G.: Towards scalable verification of deep reinforcement learning. In: FMCAD, pp. 193\u2013203 (2021)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Anand, M., Murali, V., Trivedi, A., Zamani, M.: k-inductive barrier certificates for stochastic systems. In: HSCC, pp. 12:1\u201312:11 (2022)","DOI":"10.1145\/3501710.3519532"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bacci, E., Giacobbe, M., Parker, D.: Verifying reinforcement learning up to infinity. In: IJCAI, pp. 2154\u20132160 (2021)","DOI":"10.24963\/ijcai.2021\/297"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bacci, E., Parker, D.: Probabilistic guarantees for safe deep reinforcement learning. In: FORMATS, pp. 231\u2013248 (2020)","DOI":"10.1007\/978-3-030-57628-8_14"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Bacci, E., Parker, D.: Verified probabilistic policies for deep reinforcement learning. In: NFM, pp. 193\u2013212 (2022)","DOI":"10.1007\/978-3-031-06773-0_10"},{"key":"3_CR7","unstructured":"Berkenkamp, F., Turchetta, M., Schoellig, A.P., Krause, A.: Safe model-based reinforcement learning with stability guarantees. In: NeurIPS, pp. 908\u2013918 (2017)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Brain, M., Joshi, S., Kroening, D., Schrammel, P.: Safety verification and refutation by k-invariants and k-induction. In: SAS, pp. 145\u2013161 (2015)","DOI":"10.1007\/978-3-662-48288-9_9"},{"key":"3_CR9","unstructured":"Brockman, G., et al.: OpenAI gym (2016), arXiv:1606.01540"},{"key":"3_CR10","first-page":"819","volume":"72","author":"S Carr","year":"2021","unstructured":"Carr, S., Jansen, N., Topcu, U.: Task-aware verifiable RNN-based policies for partially observable markov decision processes. Artif. Intell. Res. 72, 819\u2013847 (2021)","journal-title":"Artif. Intell. Res."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Chakarov, A., Sankaranarayanan, S.: Probabilistic program analysis with martingales. In: CAV, pp. 511\u2013526 (2013)","DOI":"10.1007\/978-3-642-39799-8_34"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Fu, H., Novotn\u00fd, P., Hasheminezhad, R.: Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. In: POPL, pp. 327\u2013342 (2016)","DOI":"10.1145\/2837614.2837639"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Chen, C., et al.: Toward a thousand lights: decentralized deep reinforcement learning for large-scale traffic signal control. In: AAAI, pp. 3414\u20133421 (2020)","DOI":"10.1609\/aaai.v34i04.5744"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Donaldson, A.F., Haller, L., Kroening, D., R\u00fcmmer, P.: Software verification using k-induction. In: SAS, pp. 351\u2013368 (2011)","DOI":"10.1007\/978-3-642-23702-7_26"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"101028","DOI":"10.1016\/j.arcontrol.2025.101028","volume":"60","author":"A Edwards","year":"2025","unstructured":"Edwards, A., Peruffo, A., Abate, A.: A general framework for verification and control of dynamical models via certificate synthesis. Annu. Rev. Control. 60, 101028 (2025)","journal-title":"Annu. Rev. Control."},{"issue":"8","key":"3_CR16","doi-asserted-by":"publisher","first-page":"3796","DOI":"10.1109\/TNNLS.2021.3124466","volume":"34","author":"L Garaffa","year":"2023","unstructured":"Garaffa, L., Basso, M., Konzen, A., de Freitas, E.P.: Reinforcement learning for mobile robotics exploration: a survey. IEEE Trans. Neural Networks Learn. Syst. 34(8), 3796\u20133810 (2023)","journal-title":"IEEE Trans. Neural Networks Learn. Syst."},{"key":"3_CR17","unstructured":"Gowal, S., et al.: On the effectiveness of interval bound propagation for training verifiably robust models. CoRR abs\/1810.12715 (2018)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Gronwall, T.H.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. 292\u2013296 (1919)","DOI":"10.2307\/1967124"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 1\u201322 (2021)","DOI":"10.1007\/s10009-021-00633-z"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. In: The Collected Works of Wassily Hoeffding, pp. 409\u2013426 (1994)","DOI":"10.1007\/978-1-4612-0865-5_26"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Huang, C., Fan, J., Chen, X., Li, W., Zhu, Q.: Polar: a polynomial arithmetic framework for verifying neural-network controlled systems. In: ATVA, pp. 414\u2013430 (2022)","DOI":"10.1007\/978-3-031-19992-9_27"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Ivanov, R., Carpenter, T., Weimer, J., Alur, R., Pappas, G., Lee, I.: Verisig 2.0: verification of neural network controllers using taylor model preconditioning. In: CAV, pp. 249\u2013262 (2021)","DOI":"10.1007\/978-3-030-81685-8_11"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Jackson, J., Laurenti, L., Frew, E.W., Lahijanian, M.: Safety verification of unknown dynamical systems via gaussian process regression. In: CDC, pp. 860\u2013866 (2020)","DOI":"10.1109\/CDC42340.2020.9303814"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Jin, P., Tian, J., Zhi, D., et\u00a0al.: Trainify: a CEGAR-driven training and verification framework for safe deep reinforcement learning. In: CAV, pp. 193\u2013218 (2022)","DOI":"10.1007\/978-3-031-13185-1_10"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism 4.0: verification of probabilistic real-time systems. In: CAV, pp. 585\u2013591 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"3_CR26","unstructured":"Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T.A.: Stability verification in stochastic control systems via neural network supermartingales. In: AAAI, pp. 7326\u20137336 (2022)"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1016\/j.neucom.2021.11.106","volume":"490","author":"B Liu","year":"2022","unstructured":"Liu, B., Ding, Z.: A distributed deep reinforcement learning method for traffic light control. Neurocomputing 490, 390\u2013399 (2022)","journal-title":"Neurocomputing"},{"key":"3_CR28","unstructured":"L\u00fctjens, B., Everett, M., How, J.P.: Certified adversarial robustness for deep reinforcement learning. In: CoRL, vol.\u00a0100, pp. 1328\u20131337 (2019)"},{"key":"3_CR29","unstructured":"Mnih, V., et al.: Playing atari with deep reinforcement learning. CoRR abs\/1312.5602 (2013)"},{"issue":"5","key":"3_CR30","doi-asserted-by":"publisher","first-page":"3007","DOI":"10.1109\/LRA.2023.3264836","volume":"8","author":"KM Oikonomou","year":"2023","unstructured":"Oikonomou, K.M., Kansizoglou, I., Gasteratos, A.: A hybrid reinforcement learning approach with a spiking actor network for efficient robotic arm target reaching. IEEE Robotics Autom. Lett. 8(5), 3007\u20133014 (2023)","journal-title":"IEEE Robotics Autom. Lett."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Peruffo, A., Ahmed, D., Abate, A.: Automated and formal synthesis of neural barrier certificates for dynamical models. In: TACAS, pp. 370\u2013388 (2021)","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC, pp. 477\u2013492 (2004)","DOI":"10.1007\/978-3-540-24743-2_32"},{"issue":"8","key":"3_CR33","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Automat. Contr. 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"9","key":"3_CR34","doi-asserted-by":"publisher","first-page":"6146","DOI":"10.1109\/TNNLS.2021.3133537","volume":"34","author":"X Qu","year":"2023","unstructured":"Qu, X., Gupta, A., Ong, Y., Sun, Z.: Adversary agnostic robust deep reinforcement learning. IEEE Trans. Neural Networks Learn. Syst. 34(9), 6146\u20136157 (2023)","journal-title":"IEEE Trans. Neural Networks Learn. Syst."},{"issue":"7","key":"3_CR35","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/3503914","volume":"65","author":"SA Seshia","year":"2022","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Toward verified artificial intelligence. Commun. ACM 65(7), 46\u201355 (2022)","journal-title":"Commun. ACM"},{"issue":"7","key":"3_CR36","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1177\/0278364912444146","volume":"31","author":"J Steinhardt","year":"2012","unstructured":"Steinhardt, J., Tedrake, R.: Finite-time regional verification of stochastic non-linear systems. Int. J. Robotics Res. 31(7), 901\u2013923 (2012)","journal-title":"Int. J. Robotics Res."},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"116323","DOI":"10.1016\/j.eswa.2021.116323","volume":"192","author":"J Su","year":"2022","unstructured":"Su, J., Huang, J., Adams, S.C., Chang, Q., Beling, P.A.: Deep multi-agent reinforcement learning for multi-level preventive maintenance in manufacturing systems. Expert Syst. Appl. 192, 116323 (2022)","journal-title":"Expert Syst. Appl."},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Takisaka, T., Oyabu, Y., Urabe, N., Hasuo, I.: Ranking and repulsing supermartingales for reachability in probabilistic programs. In: ATVA, pp. 476\u2013493 (2018)","DOI":"10.1007\/978-3-030-01090-4_28"},{"key":"3_CR39","unstructured":"Tian, J., Zhi, D., Liu, S., Wang, P., Chen, C., Zhang, M.: Boosting verification of deep reinforcement learning via piece-wise linear decision neural networks. In: NeurIPS (2023)"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Tian, J., Zhi, D., Liu, S., Wang, P., Katz, G., Zhang, M.: Taming reachability analysis of DNN-controlled systems via abstraction-based training. In: VMCAI, vol. 14500, pp. 73\u201397 (2024)","DOI":"10.1007\/978-3-031-50521-8_4"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Urabe, N., Hara, M., Hasuo, I.: Categorical liveness checking by corecursive algebras. In: LICS, pp. 1\u201312 (2017)","DOI":"10.1109\/LICS.2017.8005151"},{"key":"3_CR42","unstructured":"Ville, J.: \u00c9tude critique de la notion de collectif. Th\u00e8ses de l\u2019entre-deux-guerre, Facult\u00e9 des Sciences, Universit\u00e9 de Paris (1939), https:\/\/www.numdam.org\/item\/THESE_1939__218__1_0.pdf"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Wan, X., Sun, M., Chen, B., Chu, Z., Teng, F.: Adapsafe: adaptive and safe-certified deep reinforcement learning-based frequency control for carbon-neutral power systems. In: AAAI, pp. 5294\u20135302 (2023)","DOI":"10.1609\/aaai.v37i4.25660"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Wan, X., Zeng, L., Sun, M.: Exploring the vulnerability of deep reinforcement learning-based emergency control for low carbon power systems. In: IJCAI, pp. 3954\u20133961 (2022)","DOI":"10.24963\/ijcai.2022\/549"},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"Wang, P.: Tail-bound cost analysis over nondeterministic probabilistic programs. J. Shanghai Jiaotong Univ. (Science) 1\u201311 (2022)","DOI":"10.1007\/s12204-022-2456-z"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Wang, P., Fu, H., Goharshady, A.K., Chatterjee, K., Qin, X., Shi, W.: Cost analysis of nondeterministic probabilistic programs. In: PLDI, pp. 204\u2013220. ACM (2019)","DOI":"10.1145\/3314221.3314581"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Williams, D.: Probability with Martingales. Cambridge University Press (1991)","DOI":"10.1017\/CBO9780511813658"},{"key":"3_CR48","unstructured":"Xu, K., Shi, Z., Zhang, H., Wang, Y., Chang, K., Huang, M., et\u00a0al.: Automatic perturbation analysis for scalable certified robustness and beyond. In: NeurIPS (2020)"},{"key":"3_CR49","unstructured":"Xue, B.: A new framework for bounding reachability probabilities of continuous-time stochastic systems. CoRR abs\/2312.15843 (2023)"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Xue, B., Zhan, N., Fr\u00e4nzle, M.: Reach-avoid analysis for polynomial stochastic differential equations. IEEE Trans. Autom. Control (2023)","DOI":"10.1109\/TAC.2023.3332570"},{"issue":"1","key":"3_CR51","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/s12083-022-01434-0","volume":"16","author":"H Zhang","year":"2023","unstructured":"Zhang, H., Gu, J., Zhang, Z., Du, L., et al.: Backdoor attacks against deep reinforcement learning based traffic signal control systems. Peer Peer Netw. Appl. 16(1), 466\u2013474 (2023)","journal-title":"Peer Peer Netw. Appl."},{"key":"3_CR52","unstructured":"Zhang, H., Chen, H., Boning, D.S., Hsieh, C.: Robust reinforcement learning on state observations with learned optimal adversary. In: ICLR (2021)"},{"key":"3_CR53","unstructured":"Zhang, H., et al.: Robust deep reinforcement learning against adversarial perturbations on state observations. In: NeurIPS, pp. 21024\u201321037 (2020)"},{"issue":"5","key":"3_CR54","doi-asserted-by":"publisher","first-page":"6349","DOI":"10.1109\/TII.2022.3195701","volume":"19","author":"W Zhang","year":"2023","unstructured":"Zhang, W., Tu, Z., Liu, W.: Optimal charging control of energy storage systems for pulse power load using deep reinforcement learning in shipboard integrated power systems. IEEE Trans. Ind. Informatics 19(5), 6349\u20136363 (2023)","journal-title":"IEEE Trans. Ind. Informatics"},{"key":"3_CR55","doi-asserted-by":"publisher","first-page":"102412","DOI":"10.1016\/j.rcim.2022.102412","volume":"78","author":"Y Zhang","year":"2022","unstructured":"Zhang, Y., Zhu, H., Tang, D., Zhou, T., Gui, Y.: Dynamic job shop scheduling based on deep reinforcement learning for multi-agent manufacturing systems. Robotics Comput. Integr. Manuf. 78, 102412 (2022)","journal-title":"Robotics Comput. Integr. Manuf."},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"Zhao, H., Qi, N., Dehbi, L., Zeng, X., Yang, Z.: Formal synthesis of neural barrier certificates for continuous systems via counterexample guided learning. ACM Trans. Embed. Comput. Syst. 22(5s), 146:1\u2013146:21 (2023)","DOI":"10.1145\/3609125"},{"key":"3_CR57","doi-asserted-by":"crossref","unstructured":"Zhao, H., Qi, N., Ren, M., Zeng, X., Zeng, Z., Yang, Z.: Neural barrier certificates synthesis of nn-controlled continuous systems via counterexample-guided learning. In: Proceedings of the 61st ACM\/IEEE Design Automation Conference, pp.\u00a01\u20136 (2024)","DOI":"10.1145\/3649329.3658256"},{"key":"3_CR58","doi-asserted-by":"crossref","unstructured":"Zhao, H., Zeng, X., Chen, T., Liu, Z.: Synthesizing barrier certificates using neural networks. In: HSCC, pp. 1\u201311 (2020)","DOI":"10.1145\/3365365.3382222"},{"key":"3_CR59","doi-asserted-by":"crossref","unstructured":"Zhi, D., Wang, P., Chen, C., Zhang, M.: Robustness verification of deep reinforcement learning based control systems using reward martingales. In: AAAI, vol.\u00a038, pp. 19992\u201320000 (2024)","DOI":"10.1609\/aaai.v38i18.29976"},{"key":"3_CR60","doi-asserted-by":"crossref","unstructured":"Zhi, D., Wang, P., Liu, S., Ong, C.L., Zhang, M.: Unifying qualitative and quantitative safety verification of DNN-controlled systems. In: CAV, vol. 14682, pp. 401\u2013426 (2024)","DOI":"10.1007\/978-3-031-65630-9_20"},{"key":"3_CR61","doi-asserted-by":"crossref","unstructured":"Zikelic, D., Lechner, M., Henzinger, T.A., Chatterjee, K.: Learning control policies for stochastic systems with reach-avoid guarantees. In: AAAI, pp. 11926\u201311935 (2023)","DOI":"10.1609\/aaai.v37i10.26407"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-8617-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T14:27:29Z","timestamp":1778077649000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-8617-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819586165","9789819586172"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-8617-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Summer School on Engineering Trustworthy Software Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tis.ios.ac.cn\/SETSS2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}