{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:05:42Z","timestamp":1771466742528,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"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":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1007\/s11390-023-2703-2","type":"journal-article","created":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:20:49Z","timestamp":1737004849000},"page":"1292-1311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Qualitative and Quantitative Model Checking Against Recurrent Neural Networks"],"prefix":"10.1007","volume":"39","author":[{"given":"Zhen","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wan-Wei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bai","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen-Jing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng-Bin","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,16]]},"reference":[{"issue":"3","key":"2703_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11263-015-0816-y","volume":"115","author":"O Russakovsky","year":"2015","unstructured":"Russakovsky O, Deng J, Su H, Krause J, Satheesh S, Ma S, Huang Z H, Karpathy A, Khosla A, Bernstein M, Berg A C, Fei-Fei L. ImageNet large scale visual recognition challenge. International Journal of Computer Vision, 2015, 115(3): 211\u2013252. DOI: https:\/\/doi.org\/10.1007\/s11263-015-0816-y.","journal-title":"International Journal of Computer Vision"},{"key":"2703_CR2","doi-asserted-by":"publisher","first-page":"1532","DOI":"10.3115\/v1\/D14-1162","volume-title":"Proc. the 2014 Conference on Empirical Methods in Natural Language Processing","author":"J Pennington","year":"2014","unstructured":"Pennington J, Socher R, Manning C D. GloVe: Global vectors for word representation. In Proc. the 2014 Conference on Empirical Methods in Natural Language Processing, Oct. 2014, pp.1532\u20131543. DOI: https:\/\/doi.org\/10.3115\/v1\/d14-1162."},{"issue":"6","key":"2703_CR3","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MSP.2012.2205597","volume":"29","author":"G Hinton","year":"2012","unstructured":"Hinton G, Deng L, Yu D, Dahl G E, Mohamed A R, Jaitly N, Senior A, Vanhoucke V, Nguyen P, Sainath T N, Kingsbury B. Deep neural networks for acoustic modeling in speech recognition: The shared views of four research groups. IEEE Signal Processing Magazine, 2012, 29(6): 82\u201397. DOI: https:\/\/doi.org\/10.1109\/MSP.2012.2205597.","journal-title":"IEEE Signal Processing Magazine"},{"issue":"10","key":"2703_CR4","doi-asserted-by":"publisher","first-page":"2410","DOI":"10.1109\/TPAMI.2018.2879108","volume":"41","author":"X W Liu","year":"2019","unstructured":"Liu X W, Zhu X Z, Li M M, Wang L, Tang C, Yin J P, Shen D G, Wang H M, Gao W. Late fusion incomplete multi-view clustering. IEEE Trans. Pattern Analysis and Machine Intelligence, 2019, 41(10): 2410\u20132423. DOI: https:\/\/doi.org\/10.1109\/TPAMI.2018.2879108.","journal-title":"IEEE Trans. Pattern Analysis and Machine Intelligence"},{"issue":"2","key":"2703_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIS.2008.34","volume":"23","author":"C Urmson","year":"2008","unstructured":"Urmson C, Whittaker W. Self-driving cars and the urban challenge. IEEE Intelligent Systems, 2008, 23(2): 66\u201368. DOI: https:\/\/doi.org\/10.1109\/mis.2008.34.","journal-title":"IEEE Intelligent Systems"},{"key":"2703_CR6","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.media.2017.07.005","volume":"42","author":"G Litjens","year":"2017","unstructured":"Litjens G, Kooi T, Bejnordi B E, Setio A A A, Ciompi F, Ghafoorian M, van der Laak J A W M, van Ginneken B, Sanchez C I. A survey on deep learning in medical image analysis. Medical Image Analysis, 2017, 42: 60\u201388. DOI: https:\/\/doi.org\/10.1016\/j.media.2017.07.005.","journal-title":"Medical Image Analysis"},{"key":"2703_CR7","doi-asserted-by":"publisher","first-page":"100270","DOI":"10.1016\/j.cosrev.2020.100270","volume":"37","author":"X W Huang","year":"2020","unstructured":"Huang X W, Kroening D, Ruan W J, Sharp J, Sun Y C, Thamo E, Wu M, Yi X P. A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Computer Science Review, 2020, 37: 100270. DOI: https:\/\/doi.org\/10.1016\/j.cosrev.2020.100270.","journal-title":"Computer Science Review"},{"key":"2703_CR8","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-030-65965-3_28","volume-title":"Proc. the 2020 Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases","author":"C Molnar","year":"2020","unstructured":"Molnar C, Casalicchio G, Bischl B. Interpretable machine learning\u2014A brief history, state-of-the-art and challenges. In Proc. the 2020 Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases, Sept. 2020, pp.417\u2013431. DOI: https:\/\/doi.org\/10.1007\/978-3-030-65965-3_28."},{"key":"2703_CR9","volume-title":"Proc. the 3rd International Conference on Learning Representations","author":"I J Goodfellow","year":"2015","unstructured":"Goodfellow I J, Shlens J, Szegedy C. Explaining and harnessing adversarial examples. In Proc. the 3rd International Conference on Learning Representations, May 2015."},{"key":"2703_CR10","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/EuroSP.2016.36","volume-title":"Proc. the 2016 IEEE European Symposium on Security and Privacy","author":"N Papernot","year":"2016","unstructured":"Papernot N, McDaniel P, Jha S, Fredrikson M, Celik Z B, Swami A. The limitations of deep learning in adversarial settings. In Proc. the 2016 IEEE European Symposium on Security and Privacy, Mar. 2016, pp.372\u2013387. DOI: https:\/\/doi.org\/10.1109\/EuroSP.2016.36."},{"key":"2703_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Proc. the 29th International Conference on Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz G, Barrett C W, Dill D L, Julian K, Kochenderfer M J. Reluplex: An efficient SMT solver for verifying deep neural networks. In Proc. the 29th International Conference on Computer Aided Verification, Jul. 2017, pp.97\u2013117. DOI: https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5."},{"key":"2703_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SP.2018.00058","volume-title":"Proc. the 2018 IEEE Symposium on Security and Privacy","author":"T Gehr","year":"2018","unstructured":"Gehr T, Mirman M, Drachsler-Cohen D, Tsankov P, Chaudhuri S, Vechev M. AI2: Safety and robustness certification of neural networks with abstract interpretation. In Proc. the 2018 IEEE Symposium on Security and Privacy, May 2018, pp.3\u201318. DOI: https:\/\/doi.org\/10.1109\/sp.2018.00058."},{"key":"2703_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/3290354","volume":"3","author":"G Singh","year":"2019","unstructured":"Singh G, Gehr T, P\u00fcschel M, Vechev M. An abstract domain for certifying neural networks. Proceedings of the ACM on Programming Languages, 2019, 3 (POPL): 41. DOI: https:\/\/doi.org\/10.1145\/3290354.","journal-title":"Proceedings of the ACM on Programming Languages"},{"issue":"6","key":"2703_CR14","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1007\/s11390-020-0546-7","volume":"35","author":"W W Liu","year":"2020","unstructured":"Liu W W, Song F, Zhang T H R, Wang J. Verifying ReLU neural networks from a model checking perspective. Journal of Computer Science and Technology, 2020, 35(6): 1365\u20131381. DOI: https:\/\/doi.org\/10.1007\/s11390-020-0546-7.","journal-title":"Journal of Computer Science and Technology"},{"key":"2703_CR15","doi-asserted-by":"publisher","first-page":"6006","DOI":"10.1609\/aaai.v33i01.33016006","volume-title":"Proc. the 33rd AAAI Conference on Artificial Intelligence","author":"M E Akintunde","year":"2019","unstructured":"Akintunde M E, Kevorchian A, Lomuscio A, Pirovano E. Verification of RNN-based neural agent-environment systems. In Proc. the 33rd AAAI Conference on Artificial Intelligence, Jan. 27\u2013Feb. 1, 2019, pp.6006\u20136013. DOI: https:\/\/doi.org\/10.1609\/aaai.v33i01.33016006."},{"key":"2703_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-030-59152-6_3","volume-title":"Proc. the 18th International Symposium on Automated Technology for Verification and Analysis","author":"Y Jacoby","year":"2020","unstructured":"Jacoby Y, Barrett C, Katz G. Verifying recurrent neural networks using invariant inference. In Proc. the 18th International Symposium on Automated Technology for Verification and Analysis, Oct. 2020, pp.57\u201374. DOI: https:\/\/doi.org\/10.1007\/978-3-030-59152-6_3."},{"key":"2703_CR17","first-page":"3468","volume-title":"Proc. the 36th International Conference on Machine Learning","author":"C Y Ko","year":"2019","unstructured":"Ko C Y, Lyu Z Y, Weng L, Daniel L, Wong N, Lin D H. POPQORN: Quantifying robustness of recurrent neural networks. In Proc. the 36th International Conference on Machine Learning, Jun. 2019, pp.3468\u20133477."},{"key":"2703_CR18","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1145\/3460120.3484538","volume-title":"Proc. the 2021 ACM SIGSAC Conference on Computer and Communications Security","author":"T Y Du","year":"2021","unstructured":"Du T Y, Ji S L, Shen L J, Zhang Y, Li J F, Shi J, Fang C F, Yin J W, Beyah R, Wang T. Cert-RNN: Towards certifying the robustness of recurrent neural networks. In Proc. the 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov. 2021, pp.516\u2013534. DOI: https:\/\/doi.org\/10.1145\/3460120.3484538."},{"key":"2703_CR19","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-030-81685-8_10","volume-title":"Proc. the 33rd International Conference on Computer Aided Verification","author":"W Ryou","year":"2021","unstructured":"Ryou W, Chen J Y, Balunovic M, Singh G, Dan A, Vechev M. Scalable polyhedral verification of recurrent neural networks. In Proc. the 33rd International Conference on Computer Aided Verification, Jul. 2021, pp.225\u2013248. DOI: https:\/\/doi.org\/10.1007\/978-3-030-81685-8_10."},{"key":"2703_CR20","doi-asserted-by":"publisher","first-page":"1690","DOI":"10.3233\/FAIA200281","volume-title":"Proc. the 24th European Conference on Artificial Intelligence","author":"H C Zhang","year":"2020","unstructured":"Zhang H C, Shinn M, Gupta A, Gurfinkel A, Le N, Narodytska N. Verification of recurrent neural networks for cognitive tasks via reachability analysis. In Proc. the 24th European Conference on Artificial Intelligence, Aug. 29\u2013Sept. 8, 2020, pp.1690\u20131697. DOI: https:\/\/doi.org\/10.3233\/FAIA200281."},{"key":"2703_CR21","first-page":"178","volume-title":"Proc. the 34th AAAI Conference on Artificial Intelligence","author":"D Vengertsev","year":"2020","unstructured":"Vengertsev D, Sherman E. Recurrent neural network properties and their verification with Monte Carlo techniques. In Proc. the 34th AAAI Conference on Artificial Intelligence, Feb. 2020, pp.178\u2013185."},{"key":"2703_CR22","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-030-88885-5_24","volume-title":"Proc. the 19th International Symposium on Automated Technology for Verification and Analysis","author":"I Khmelnitsky","year":"2021","unstructured":"Khmelnitsky I, Neider D, Roy R, Xie X, Barbot B, Bollig B, Finkel A, Haddad S, Leucker M, Ye L N. Property-directed verification and robustness certification of recurrent neural networks. In Proc. the 19th International Symposium on Automated Technology for Verification and Analysis, Oct. 2021, pp.364\u2013380. DOI: https:\/\/doi.org\/10.1007\/978-3-030-88885-5_24."},{"key":"2703_CR23","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.tra.2016.09.010","volume":"94","author":"N Kalra","year":"2016","unstructured":"Kalra N, Paddock S M. Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability? Transportation Research Part A: Policy and Practice, 2016, 94: 182\u2013193. DOI: https:\/\/doi.org\/10.1016\/j.tra.2016.09.010.","journal-title":"Transportation Research Part A: Policy and Practice"},{"key":"2703_CR24","volume-title":"Proc. the 35th International Conference on Neural Information Processing Systems","author":"M Dahnert","year":"2021","unstructured":"Dahnert M, Hou J, Nie\u00dfner M, Dai A. Panoptic 3D scene reconstruction from a single RGB image. In Proc. the 35th International Conference on Neural Information Processing Systems, Dec. 2021, Article No. 633."},{"key":"2703_CR25","volume-title":"Proc. the 35th International Conference on Neural Information Processing Systems","author":"J X Wang","year":"2021","unstructured":"Wang J X, Wang K C, Rudzicz F, Brudno M. Grad2Task: Improved few-shot text classification using gradients for task representation. In Proc. the 35th International Conference on Neural Information Processing Systems, Dec. 2021, Article No. 501."},{"issue":"5","key":"2703_CR26","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K Hornik","year":"1989","unstructured":"Hornik K, Stinchcombe M, White H. Multilayer feedforward networks are universal approximators. Neural Networks, 1989, 2(5): 359\u2013366. DOI: https:\/\/doi.org\/10.1016\/0893-6080(89)90020-8.","journal-title":"Neural Networks"},{"key":"2703_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8431-1","volume-title":"Lectures on Polytopes","author":"G M Ziegler","year":"1995","unstructured":"Ziegler G M. Lectures on Polytopes. Springer, 1995. DOI: https:\/\/doi.org\/10.1007\/978-1-4613-8431-1."},{"key":"2703_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational Geometry: An Introduction","author":"F P Preparata","year":"1985","unstructured":"Preparata F P, Shamos M I. Computational Geometry: An Introduction. Springer, 1985. DOI: https:\/\/doi.org\/10.1007\/978-14612-1098-6."},{"key":"2703_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6848-0","volume-title":"Topology and Geometry","author":"G E Bredon","year":"1993","unstructured":"Bredon G E. Topology and Geometry. Springer, 1993. DOI: https:\/\/doi.org\/10.1007\/978-1-4757-6848-0."},{"key":"2703_CR30","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.cad.2018.12.002","volume":"109","author":"Y Zheng","year":"2019","unstructured":"Zheng Y. Computing bounding polytopes of a compact set and related problems in n-dimensional space. Computer-Aided Design, 2019, 109: 22\u201332. DOI: https:\/\/doi.org\/10.1016\/j.cad.2018.12.002.","journal-title":"Computer-Aided Design"},{"issue":"4","key":"2703_CR31","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1145\/235815.235821","volume":"22","author":"C B Barber","year":"1996","unstructured":"Barber C B, Dobkin D P, Huhdanpaa H. The quickhull algorithm for convex hulls. ACM Trans. Mathematical Software, 1996, 22(4): 469\u2013483. DOI: https:\/\/doi.org\/10.1145\/235815.235821.","journal-title":"ACM Trans. Mathematical Software"},{"key":"2703_CR32","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-91908-9_23","volume-title":"Computing and Software Science: State of the Art and Perspectives","author":"A Legay","year":"2019","unstructured":"Legay A, Lukina A, Traonouez L M, Yang J X, Smolka S A, Grosu R. Statistical model checking. In Computing and Software Science: State of the Art and Perspectives, Steffen B, Woeginger G (eds.), Springer, 2019, pp.478\u2013504. DOI: https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23."},{"key":"2703_CR33","doi-asserted-by":"publisher","DOI":"10.1109\/smartgridcomm.2018.8587416","volume-title":"Proc. the 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)","author":"T Mancini","year":"2018","unstructured":"Mancini T, Mari F, Melatti I, Salvo I, Tronci E, Gruber J K, Hayes B, Prodanovic M, Elmegaard L. Parallel statistical model checking for safety verification in smart grids. In Proc. the 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), Oct. 2018. DOI:https:\/\/doi.org\/10.1109\/smartgridcomm.2018.8587416."},{"issue":"5","key":"2703_CR34","doi-asserted-by":"publisher","first-page":"90","DOI":"10.21271\/zjpas.31.5.11","volume":"31","author":"K I Wali","year":"2019","unstructured":"Wali K I, Othman S A. Schedule risk analysis using Monte Carlo simulation for residential projects. Zanco Journal of Pure and Applied Sciences, 2019, 31(5): 90\u2013103. DOI: https:\/\/doi.org\/10.21271\/zjpas.31.5.11.","journal-title":"Zanco Journal of Pure and Applied Sciences"},{"key":"2703_CR35","doi-asserted-by":"publisher","first-page":"118220","DOI":"10.1016\/j.energy.2020.118220","volume":"207","author":"A Younesi","year":"2020","unstructured":"Younesi A, Shayeghi H, Safari A, Siano P. Assessing the resilience of multi microgrid based widespread power systems against natural disasters using Monte Carlo Simulation. Energy, 2020, 207: 118220. DOI: https:\/\/doi.org\/10.1016\/j.energy.2020.118220.","journal-title":"Energy"},{"issue":"1","key":"2703_CR36","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02883985","volume":"10","author":"M Okamoto","year":"1959","unstructured":"Okamoto M. Some inequalities relating to the partial sum of binomial probabilities. Annals of the Institute of Statistical Mathematics, 1959, 10(1): 29\u201335. DOI: https:\/\/doi.org\/10.1007\/bf02883985.","journal-title":"Annals of the Institute of Statistical Mathematics"},{"key":"2703_CR37","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/978-3-030-30942-8_39","volume-title":"Proc. the 3rd World Congress on Formal Methods","author":"H D Tran","year":"2019","unstructured":"Tran H D, Manzanas Lopez D, Musau P, Yang X D, Nguyen L V, Xiang W M, Johnson T T. Star-based reachability analysis of deep neural networks. In Proc. the 3rd World Congress on Formal Methods, Oct. 2019, pp.670\u2013686. DOI: https:\/\/doi.org\/10.1007\/978-3-030-30942-8_39."},{"issue":"2\/3","key":"2703_CR38","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1022647012398","volume":"7","author":"D Servan-Schreiber","year":"1991","unstructured":"Servan-Schreiber D, Cleeremans A, McClelland J L. Graded state machines: The representation of temporal contingencies in simple recurrent networks. Machine Learning, 1991, 7(2\/3): 161\u2013193. DOI: https:\/\/doi.org\/10.1007\/BF00114843.","journal-title":"Machine Learning"},{"key":"2703_CR39","doi-asserted-by":"publisher","first-page":"73","DOI":"10.5555\/1603899.1603912","volume-title":"Proc. the 1998 New Methods in Language Processing and Computational Natural Language Learning","author":"I Schellhammer","year":"1998","unstructured":"Schellhammer I, Diederich J, Towsey M, Brugman C. Knowledge extraction and recurrent neural networks: An analysis of an Elman network trained on a natural language learning task. In Proc. the 1998 New Methods in Language Processing and Computational Natural Language Learning, Jan. 1998, pp.73\u201378. DOI: https:\/\/doi.org\/10.5555\/1603899.1603912."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-023-2703-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-023-2703-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-023-2703-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:20:54Z","timestamp":1737004854000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-023-2703-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["2703"],"URL":"https:\/\/doi.org\/10.1007\/s11390-023-2703-2","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11]]},"assertion":[{"value":"23 July 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Conflict of Interest The authors declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}]}}