{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T06:46:28Z","timestamp":1779345988800,"version":"3.51.4"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T00:00:00Z","timestamp":1697500800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T00:00:00Z","timestamp":1697500800000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1007\/s11432-022-3826-6","type":"journal-article","created":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T05:02:56Z","timestamp":1701406976000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Categorizing methods for integrating machine learning with executable specifications"],"prefix":"10.1007","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7240-3931","authenticated-orcid":false,"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0513-3211","authenticated-orcid":false,"given":"Raz","family":"Yerushalmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5904-5105","authenticated-orcid":false,"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4009-5353","authenticated-orcid":false,"given":"Achiya","family":"Elyasaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,17]]},"reference":[{"key":"3826_CR1","doi-asserted-by":"publisher","first-page":"14043","DOI":"10.1109\/TITS.2021.3134702","volume":"23","author":"Z Zhu","year":"2022","unstructured":"Zhu Z, Zhao H. A survey of deep RL and IL for autonomous driving policy learning. IEEE Trans Intell Transp Syst, 2022, 23: 14043\u201314065","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"3826_CR2","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1109\/TITS.2019.2962338","volume":"22","author":"S Kuutti","year":"2020","unstructured":"Kuutti S, Bowden R, Jin Y, et al. A survey of deep learning applications to autonomous vehicle control. IEEE Trans Intell Transp Syst, 2020, 22: 712\u2013733","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"3826_CR3","doi-asserted-by":"publisher","first-page":"17491","DOI":"10.1073\/pnas.2003162117","volume":"117","author":"D Harel","year":"2020","unstructured":"Harel D, Marron A, Sifakis J. Autonomics: in search of a foundation for next-generation autonomous systems. Proc Natl Acad Sci USA, 2020, 117: 17491\u201317498","journal-title":"Proc Natl Acad Sci USA"},{"key":"3826_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3545178","volume":"22","author":"J Sifakis","year":"2023","unstructured":"Sifakis J, Harel D. Trustworthy autonomous system development. ACM Trans Embed Comput Syst, 2023, 22: 1\u201324","journal-title":"ACM Trans Embed Comput Syst"},{"key":"3826_CR5","unstructured":"Dulac-Arnold G, Levine N, Mankowitz D J, et al. An empirical investigation of the challenges of real-world reinforcement learning. 2020. ArXiv:2003.11881"},{"key":"3826_CR6","doi-asserted-by":"crossref","unstructured":"Harel D, Marron A, Rosenfeld A, et al. Labor division with movable walls: composing executable specifications with machine learning and search (blue sky idea). In: Proceedings of the AAAI Conference on Artificial Intelligence, 2019. 9770\u20139774","DOI":"10.1609\/aaai.v33i01.33019770"},{"key":"3826_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D. Statecharts: a visual formalism for complex systems. Sci Comput Program, 1987, 8: 231\u2013274","journal-title":"Sci Comput Program"},{"key":"3826_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm W, Harel D. LSCs: breathing life into message sequence charts. Formal Methods Syst Des, 2001, 19: 45\u201380","journal-title":"Formal Methods Syst Des"},{"key":"3826_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-based Programming Using LSCs and the Play-engine","author":"D Harel","year":"2003","unstructured":"Harel D, Marelly R. Come, Let\u2019s Play: Scenario-based Programming Using LSCs and the Play-engine. Berlin: Springer, 2003"},{"key":"3826_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D Harel","year":"2012","unstructured":"Harel D, Marron A, Weiss G. Behavioral programming. Commun ACM, 2012, 55: 90\u2013100","journal-title":"Commun ACM"},{"key":"3826_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli A. The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), 1977. 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"3826_CR12","doi-asserted-by":"crossref","unstructured":"Julian K D, Lopez J, Brush J S, et al. Policy compression for aircraft collision avoidance systems. In: Proceedings of the 35th Digital Avionics Systems Conference (DASC), 2016. 1\u201310","DOI":"10.1109\/DASC.2016.7778091"},{"key":"3826_CR13","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver D, Huang A, Maddison C J, et al. Mastering the game of Go with deep neural networks and tree search. Nature, 2016, 529: 484\u2013489","journal-title":"Nature"},{"key":"3826_CR14","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y LeCun","year":"2015","unstructured":"LeCun Y, Bengio Y, Hinton G. Deep learning. Nature, 2015, 521: 436\u2013444","journal-title":"Nature"},{"key":"3826_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3487043","volume":"31","author":"S Mart\u00ednez-Fernandez","year":"2022","unstructured":"Mart\u00ednez-Fernandez S, Bogner J, Franch X, et al. Software engineering for AI-based systems: a survey. ACM Trans Softw Eng Methodol, 2022, 31: 1\u201359","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"3826_CR16","first-page":"25217","volume":"34","author":"T J Zhang","year":"2021","unstructured":"Zhang T J, Xu H Z, Wang X L, et al. Noveld: a simple yet effective exploration criterion. In: Proceedings of Advances in Neural Information Processing Systems, 2021, 34: 25217\u201325230","journal-title":"In: Proceedings of Advances in Neural Information Processing Systems"},{"key":"3826_CR17","unstructured":"Badia A P, Sprechmann P, Vitvitskyi A, et al. Never give up: learning directed exploration strategies. 2020. ArXiv:2002.06038"},{"key":"3826_CR18","doi-asserted-by":"publisher","first-page":"14128","DOI":"10.1109\/TITS.2022.3144867","volume":"23","author":"L Le Mero","year":"2022","unstructured":"Le Mero L, Yi D, Dianati M, et al. A survey on imitation learning techniques for end-to-end autonomous vehicles. IEEE Trans Intell Transp Syst, 2022, 23: 14128\u201314147","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"3826_CR19","doi-asserted-by":"publisher","unstructured":"Zheng B, Verma S, Zhou J, et al. Imitation learning: progress, taxonomies and challenges. IEEE Trans Neural Netw Learn Syst, 2022. doi: https:\/\/doi.org\/10.1109\/TNNLS.2022.3213246","DOI":"10.1109\/TNNLS.2022.3213246"},{"key":"3826_CR20","first-page":"537","volume":"17","author":"J Shin","year":"2021","unstructured":"Shin J, Nam J. A survey of automatic code generation from natural language. J Inform Process Syst, 2021, 17: 537\u2013555","journal-title":"J Inform Process Syst"},{"key":"3826_CR21","doi-asserted-by":"publisher","first-page":"82434","DOI":"10.1109\/ACCESS.2022.3196347","volume":"10","author":"E Dehaerne","year":"2022","unstructured":"Dehaerne E, Dey B, Halder S, et al. Code generation using machine learning: a systematic review. IEEE Access, 2022, 10: 82434\u201382455","journal-title":"IEEE Access"},{"key":"3826_CR22","doi-asserted-by":"publisher","first-page":"888","DOI":"10.3390\/e25060888","volume":"25","author":"M F Wong","year":"2023","unstructured":"Wong M F, Guo S, Hang C N, et al. Natural language generation and understanding of big code for AI-assisted programming: a review. Entropy, 2023, 25: 888","journal-title":"Entropy"},{"key":"3826_CR23","doi-asserted-by":"crossref","unstructured":"Milan A, Rezatofighi S H, Dick A, et al. Online multi-target tracking using recurrent neural networks. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, 2017","DOI":"10.1609\/aaai.v31i1.11194"},{"key":"3826_CR24","doi-asserted-by":"crossref","unstructured":"Schwalbe G, Schels M. Concept enforcement and modularization as methods for the ISO 26262 safety argumentation of neural networks. In: Proceedings of the 10th European Congress on Embedded Real Time Software and Systems, 2020. 1\u201310","DOI":"10.20378\/irb-47276"},{"key":"3826_CR25","doi-asserted-by":"publisher","first-page":"17594","DOI":"10.1109\/TITS.2022.3153848","volume":"23","author":"S Hwang","year":"2022","unstructured":"Hwang S, Lee K, Jeon H, et al. Autonomous vehicle cut-in algorithm for lane-merging scenarios via policy-based reinforcement learning nested within finite-state machine. IEEE Trans Intell Transp Syst, 2022, 23: 17594\u201317606","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"3826_CR26","first-page":"956","volume":"19","author":"T Ronan","year":"2018","unstructured":"Ronan T, Anastasio S, Qi Z, et al. Openensembles: a python resource for ensemble clustering. J Mach Learn Res, 2018, 19: 956\u2013961","journal-title":"J Mach Learn Res"},{"key":"3826_CR27","unstructured":"Shalev-Shwartz S, Shammah S, Shashua A. On a formal model of safe and scalable self-driving cars. 2018. ArXiv:1708.06374"},{"key":"3826_CR28","doi-asserted-by":"crossref","unstructured":"Chen S, Sun Y, Li D, et al. Runtime safety assurance for learning-enabled control of autonomous driving vehicles. In: Proceedings of International Conference on Robotics and Automation (ICRA), 2022. 8978\u20138984","DOI":"10.1109\/ICRA46639.2022.9812177"},{"key":"3826_CR29","unstructured":"Ghosh S, Lincoln P, Tiwari A, et al. Trusted machine learning: model repair and data repair for probabilistic models. In: Proceedings of AAAI Workshops, 2017"},{"key":"3826_CR30","doi-asserted-by":"crossref","unstructured":"Damm W, Galbas R. Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving. In: Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS), 2018. 39\u201346","DOI":"10.1145\/3194085.3194086"},{"key":"3826_CR31","doi-asserted-by":"crossref","unstructured":"Fremont D J, Kim E, Pant Y V, et al. Formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: Proceedings of the 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020. 1\u20138","DOI":"10.1109\/ITSC45102.2020.9294368"},{"key":"3826_CR32","doi-asserted-by":"crossref","unstructured":"Wang H. ReNN: rule-embedded neural networks. In: Proceedings of the 24th International Conference on Pattern Recognition (ICPR), 2018. 824\u2013829","DOI":"10.1109\/ICPR.2018.8545379"},{"key":"3826_CR33","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.aci.2019.02.002","volume":"18","author":"P Ray","year":"2022","unstructured":"Ray P, Chakrabarti A. A mixed approach of deep learning method and rule-based method to improve aspect level sentiment analysis. Appl Comput Inform, 2022, 18: 163\u2013178","journal-title":"Appl Comput Inform"},{"key":"3826_CR34","doi-asserted-by":"crossref","unstructured":"Kang C, Kim G, Yoo S I. Detection and recognition of text embedded in online images via neural context models. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, 2017","DOI":"10.1609\/aaai.v31i1.11189"},{"key":"3826_CR35","doi-asserted-by":"crossref","unstructured":"Qiao Z, Zhou Y, Yang D, et al. Seed: semantics enhanced encoder-decoder framework for scene text recognition. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, 2020. 13528\u201313537","DOI":"10.1109\/CVPR42600.2020.01354"},{"key":"3826_CR36","doi-asserted-by":"crossref","unstructured":"Dreossi T, Ghosh S, Yue X, et al. Counterexample-guided data augmentation. 2018. ArXiv:1805.06962","DOI":"10.24963\/ijcai.2018\/286"},{"key":"3826_CR37","doi-asserted-by":"crossref","unstructured":"Hu Z, Ma X, Liu Z, et al. Harnessing deep neural networks with logic rules. 2016. ArXiv:1603.06318","DOI":"10.18653\/v1\/P16-1228"},{"key":"3826_CR38","doi-asserted-by":"crossref","unstructured":"Hu Z, Ma X, Liu Z, et al. Harnessing deep neural networks with logic rules. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, Berlin, 2016. 2410\u20132420","DOI":"10.18653\/v1\/P16-1228"},{"key":"3826_CR39","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo M, Gerasimou S, Ghahremani S, et al. On learning in collective self-adaptive systems: state of practice and a 3D framework. In: Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. 13\u201324","DOI":"10.1109\/SEAMS.2019.00012"},{"key":"3826_CR40","doi-asserted-by":"crossref","unstructured":"Quin F, Weyns D, Bamelis T, et al. Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning. In: Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. 1\u201312","DOI":"10.1109\/SEAMS.2019.00011"},{"key":"3826_CR41","doi-asserted-by":"crossref","unstructured":"Braun M, Wrede S. Incorporation of expert knowledge for learning robotic assembly tasks. In: Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020. 1594\u20131601","DOI":"10.1109\/ETFA46521.2020.9211917"},{"key":"3826_CR42","doi-asserted-by":"publisher","first-page":"103452","DOI":"10.1016\/j.trc.2021.103452","volume":"134","author":"G Li","year":"2022","unstructured":"Li G, Yang Y, Li S, et al. Decision making of autonomous vehicles in lane change scenarios: deep reinforcement learning approaches with risk awareness. Transp Res Part C-Emerg Technol, 2022, 134: 103452","journal-title":"Transp Res Part C-Emerg Technol"},{"key":"3826_CR43","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.trc.2019.08.011","volume":"107","author":"Y Ye","year":"2019","unstructured":"Ye Y, Zhang X, Sun J. Automated vehicle\u2019s behavior decision making using deep reinforcement learning and high-fidelity simulation environment. Transp Res Part C-Emerg Technol, 2019, 107: 155\u2013170","journal-title":"Transp Res Part C-Emerg Technol"},{"key":"3826_CR44","doi-asserted-by":"crossref","unstructured":"Wei L, Li Z, Gong J, et al. Autonomous driving strategies at intersections: scenarios, state-of-the-art, and future outlooks. In: Proceedings of IEEE International Intelligent Transportation Systems Conference (ITSC), 2021. 44\u201351","DOI":"10.1109\/ITSC48978.2021.9564518"},{"key":"3826_CR45","unstructured":"Kaiser L, Babaeizadeh M, Milos P, et al. Model-based reinforcement learning for Atari. 2019. ArXiv:1903.00374"},{"key":"3826_CR46","doi-asserted-by":"crossref","unstructured":"Zhang P, Hao J, Wang W, et al. Kogun: accelerating deep reinforcement learning via integrating human suboptimal knowledge. In: Proceedings of the 29th International Conference on International Joint Conferences on Artificial Intelligence, 2021. 2291-","DOI":"10.24963\/ijcai.2020\/317"},{"key":"3826_CR47","unstructured":"Cao Y, Li Z, Yang T, et al. Galois: boosting deep reinforcement learning via generalizable logic synthesis. 2022. ArXiv:2205.13728"},{"key":"3826_CR48","doi-asserted-by":"crossref","unstructured":"Wolf P, Kurzer K, Wingert T, et al. Adaptive behavior generation for autonomous driving using deep reinforcement learning with compact semantic states. In: Proceedings of IEEE Intelligent Vehicles Symposium (IV), 2018. 993\u20131000","DOI":"10.1109\/IVS.2018.8500427"},{"key":"3826_CR49","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1146\/annurev-control-042920-020211","volume":"5","author":"L Brunke","year":"2022","unstructured":"Brunke L, Greeff M, Hall A W, et al. Safe learning in robotics: from learning-based control to safe reinforcement learning. Annu Rev Control Robot Auton Syst, 2022, 5: 411\u2013444","journal-title":"Annu Rev Control Robot Auton Syst"},{"key":"3826_CR50","unstructured":"Jothimurugan K, Alur R, Bastani O. A composable specification language for reinforcement learning tasks. In: Proceedings of Advances in Neural Information Processing Systems, 2019"},{"key":"3826_CR51","doi-asserted-by":"crossref","unstructured":"Elyasaf A, Sadon A, Weiss G, et al. Using behavioural programming with solver, context, and deep reinforcement learning for playing a simplified robocup-type game. In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019. 243\u2013251","DOI":"10.1109\/MODELS-C.2019.00039"},{"key":"3826_CR52","doi-asserted-by":"crossref","unstructured":"Eitan N, Harel D. Adaptive behavioral programming. In: Proceedings of the 23rd International Conference on Tools with Artificial Intelligence, 2011. 685\u2013692","DOI":"10.1109\/ICTAI.2011.109"},{"key":"3826_CR53","doi-asserted-by":"crossref","unstructured":"Katz G. Augmenting deep neural networks with scenario-based guard rules. In: Proceedings of International Conference on Model-Driven Engineering and Software Development, 2020. 147\u2013172","DOI":"10.1007\/978-3-030-67445-8_7"},{"key":"3826_CR54","doi-asserted-by":"crossref","unstructured":"Yerushalmi R, Amir G, Elyasaf A, et al. Scenario-assisted deep reinforcement learning. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2022. 310\u2013319","DOI":"10.5220\/0010904700003119"},{"key":"3826_CR55","unstructured":"Corsi D, Yerushalmi R, Amir G, et al. Constrained reinforcement learning for robotics via scenario-based programming. 2022. ArXiv:2206.09603"},{"key":"3826_CR56","unstructured":"Ray A, Achiam J, Amodei D. Benchmarking Safe Exploration in Deep Reinforcement Learning. Technical Report. 2019. https:\/\/cdn.openai.com\/safexp-short.pdf"},{"key":"3826_CR57","doi-asserted-by":"crossref","unstructured":"Iba H, Hasegawa Y, Paul T K. Applied Genetic Programming and Machine Learning. Boca Raton: CRC Press, 2009","DOI":"10.1201\/9781439803707"},{"key":"3826_CR58","doi-asserted-by":"publisher","first-page":"2120037119","DOI":"10.1073\/pnas.2120037119","volume":"119","author":"V Vanchurin","year":"2022","unstructured":"Vanchurin V, Wolf Y I, Katsnelson M I, et al. Toward a theory of evolution as multilevel learning. Proc Natl Acad Sci USA, 2022, 119: 2120037119","journal-title":"Proc Natl Acad Sci USA"},{"key":"3826_CR59","doi-asserted-by":"crossref","unstructured":"Cohen I R, Marron A. Evolution is driven by natural autoencoding: reframing species, interaction codes, cooperation and sexual reproduction. Proc R Soc B, 2023, 290","DOI":"10.1098\/rspb.2022.2409"},{"key":"3826_CR60","doi-asserted-by":"publisher","first-page":"1587","DOI":"10.3390\/app12031587","volume":"12","author":"R Poliansky","year":"2022","unstructured":"Poliansky R, Sipper M, Elyasaf A. From requirements to source code: evolution of behavioral programs. Appl Sci, 2022, 12: 1587","journal-title":"Appl Sci"},{"key":"3826_CR61","doi-asserted-by":"publisher","first-page":"106504","DOI":"10.1016\/j.infsof.2020.106504","volume":"133","author":"A Elyasaf","year":"2021","unstructured":"Elyasaf A. Context-oriented behavioral programming. Inf Softw Tech, 2021, 133: 106504","journal-title":"Inf Softw Tech"},{"key":"3826_CR62","doi-asserted-by":"crossref","unstructured":"Simani S, Fantuzzi C, Patton R J. Model-based fault diagnosis techniques. In: Proceedings of Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques, 2003","DOI":"10.1007\/978-1-4471-3829-7"},{"key":"3826_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3576047","volume":"14","author":"M Dumas","year":"2023","unstructured":"Dumas M, Fournier F, Limonad L, et al. AI-augmented business process management systems: a research manifesto. ACM Trans Manage Inf Syst, 2023, 14: 1\u201319","journal-title":"ACM Trans Manage Inf Syst"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-3826-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-022-3826-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-3826-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T14:14:42Z","timestamp":1746627282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-022-3826-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,17]]},"references-count":63,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1]]}},"alternative-id":["3826"],"URL":"https:\/\/doi.org\/10.1007\/s11432-022-3826-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,17]]},"assertion":[{"value":"30 September 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 April 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 July 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"111101"}}