{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T21:39:46Z","timestamp":1768081186711,"version":"3.49.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"24","license":[{"start":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T00:00:00Z","timestamp":1692748800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T00:00:00Z","timestamp":1692748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61976130"],"award-info":[{"award-number":["61976130"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62206227"],"award-info":[{"award-number":["62206227"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100018542","name":"Natural Science Foundation of Sichuan","doi-asserted-by":"crossref","award":["2022NSFSC0464"],"award-info":[{"award-number":["2022NSFSC0464"]}],"id":[{"id":"10.13039\/501100018542","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the Chengdu International Science Cooperation Project","award":["2020-GH02-00064-HZ"],"award-info":[{"award-number":["2020-GH02-00064-HZ"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s00500-023-09113-9","type":"journal-article","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T19:02:08Z","timestamp":1692817328000},"page":"18681-18695","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reliability analysis of mobile agent control system with multiple alternative plans"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0122-0913","authenticated-orcid":false,"given":"Xia","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,23]]},"reference":[{"key":"9113_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2022.108734","volume":"227","author":"AE Baladeh","year":"2022","unstructured":"Baladeh AE, Taghipour S (2022) Reliability optimization of dynamic k-out-of-n systems with competing failure modes. Reliab Eng Syst Safe 227:108734. https:\/\/doi.org\/10.1016\/j.ress.2022.108734","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107764","volume":"213","author":"ML Bolton","year":"2021","unstructured":"Bolton ML, Zheng X, Kang E (2021) A formal method for including the probability of erroneous human task behavior in system analyses. Reliab Eng Syst Safe 213:107764. https:\/\/doi.org\/10.1016\/j.ress.2021.107764","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR3","doi-asserted-by":"publisher","first-page":"149643","DOI":"10.1109\/ACCESS.2020.3016347","volume":"8","author":"YT Chen","year":"2020","unstructured":"Chen YT, Zhang ZY, Huang J (2020) Dynamic task priority planning for null-space behavioral control of multi-agent systems. IEEE Access 8:149643\u2013149651. https:\/\/doi.org\/10.1109\/ACCESS.2020.3016347","journal-title":"IEEE Access"},{"issue":"2","key":"9113_CR4","doi-asserted-by":"publisher","first-page":"5365","DOI":"10.1109\/LRA.2022.3156648","volume":"7","author":"Y Chen","year":"2022","unstructured":"Chen Y, Rosolia U, Ubellacker W et al (2022) Interactive multi-modal motion planning with branch model predictive control. IEEE Robot Autom Lett 7(2):5365\u20135372. https:\/\/doi.org\/10.1109\/LRA.2022.3156648","journal-title":"IEEE Robot Autom Lett"},{"key":"9113_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-24611-4_5","volume-title":"On probabilistic computation tree logic. Validation of stochastic systems","author":"F Ciesinski","year":"2004","unstructured":"Ciesinski F, Gr\u00f6Ber M (2004) On probabilistic computation tree logic. Validation of stochastic systems. Springer, Berlin, pp 147\u2013188"},{"issue":"1\u20132","key":"9113_CR6","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S1567-8326(02)00068-1","volume":"56","author":"J Desharnais","year":"2003","unstructured":"Desharnais J, Panangaden P (2003) Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J Log Algebraic Program 56(1\u20132):99\u2013115. https:\/\/doi.org\/10.1016\/S1567-8326(02)00068-1","journal-title":"J Log Algebraic Program"},{"key":"9113_CR7","doi-asserted-by":"crossref","unstructured":"Donnarumma C, Fara P, Serra G et al (2019) EN-50128 certification-oriented design of a safety-critical hard real-time kernel. In: 2019 IEEE international symposium on software reliability engineering workshops (ISSREW). IEEE, pp 314\u2013317","DOI":"10.1109\/ISSREW.2019.00090"},{"key":"9113_CR8","volume-title":"Markov processes: characterization and convergence","author":"SN Ethier","year":"2009","unstructured":"Ethier SN, Kurtz TG (2009) Markov processes: characterization and convergence. Wiley, New York"},{"key":"9113_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2022.108387","volume":"222","author":"M Farhadi","year":"2022","unstructured":"Farhadi M, Shahrokhi M, Rahmati SHA (2022) Developing a supplier selection model based on Markov chain and probability tree for a k-out-of-n system with different quality of spare parts. Reliab Eng Syst Safe 222:108387. https:\/\/doi.org\/10.1016\/j.ress.2022.108387","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR10","doi-asserted-by":"crossref","unstructured":"Feng L, Wiltsche C, Humphrey L et al (2015) Controller synthesis for autonomous systems interacting with human operators. In: Proceedings of the ACM\/IEEE sixth international conference on cyber-physical systems. pp 70\u201379","DOI":"10.1145\/2735960.2735973"},{"issue":"3","key":"9113_CR11","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/TCSS.2018.2865217","volume":"5","author":"H Gao","year":"2018","unstructured":"Gao H, Mao S, Huang W et al (2018) Applying probabilistic model checking to financial production risk evaluation and control: a case study of Alibabas Yue Bao. IEEE Trans Comput Soc Syst 5(3):785\u2013795. https:\/\/doi.org\/10.1109\/TCSS.2018.2865217","journal-title":"IEEE Trans Comput Soc Syst"},{"key":"9113_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2020.109888","volume":"127","author":"Y Guo","year":"2020","unstructured":"Guo Y, Sheng S, Phillips C et al (2020) A methodology for reliability assessment and prognosis of bearing axial cracking in wind turbine gearboxes. Renew Sustain Energy Rev 127:109888. https:\/\/doi.org\/10.1016\/j.rser.2020.109888","journal-title":"Renew Sustain Energy Rev"},{"issue":"2","key":"9113_CR13","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1109\/LRA.2020.3047788","volume":"6","author":"L Heintzman","year":"2020","unstructured":"Heintzman L, Williams RK (2020) Multi-agent intermittent interaction planning via sequential greedy selections over position samples. IEEE Robot Autom Lett 6(2):534\u2013541. https:\/\/doi.org\/10.1109\/LRA.2020.3047788","journal-title":"IEEE Robot Autom Lett"},{"key":"9113_CR14","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.comcom.2021.11.019","volume":"184","author":"S Karthik","year":"2022","unstructured":"Karthik S, Karthick M, Karthikeyan N et al (2022) A multi-mobile agent and optimal itinerary planning-based data aggregation in wireless sensor networks. Comput Commun 184:24\u201335. https:\/\/doi.org\/10.1016\/j.comcom.2021.11.019","journal-title":"Comput Commun"},{"key":"9113_CR15","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.ress.2018.06.024","volume":"180","author":"KO Kim","year":"2018","unstructured":"Kim KO, Zuo MJ (2018) Optimal allocation of reliability improvement target based on the failure risk and improvement cost. Reliab Eng Syst Safe 180:104\u2013110. https:\/\/doi.org\/10.1016\/j.ress.2018.06.024","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR16","doi-asserted-by":"publisher","first-page":"1292","DOI":"10.1109\/TIV.2023.3234189","volume":"8","author":"M Kloock","year":"2023","unstructured":"Kloock M, Alrifaee B (2023) Coordinated cooperative distributed decision-making using synchronization of local plans. IEEE Trans Intell Veh 8:1292\u20131306","journal-title":"IEEE Trans Intell Veh"},{"key":"9113_CR17","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1146\/annurev-control-060117-104838","volume":"1","author":"H Kress-Gazit","year":"2018","unstructured":"Kress-Gazit H, Lahijanian M, Raman V (2018) Synthesis for robots: guarantees and feedback for robot behavior. Ann Rev Control Robot Auton Syst 1:211\u2013236. https:\/\/doi.org\/10.1146\/annurev-control-060117-104838","journal-title":"Ann Rev Control Robot Auton Syst"},{"key":"9113_CR18","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2002) PRISM: probabilistic symbolic model checker. International conference on modelling techniques and tools for computer performance evaluation. Springer, Berlin, pp 200\u2013204","DOI":"10.1007\/3-540-46029-2_13"},{"key":"9113_CR19","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: verification of probabilistic real-time systems. In: International conference on computer aided verification. Springer, Berlin, pp 585\u2013591","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"9113_CR20","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.procs.2018.01.113","volume":"127","author":"C Lamini","year":"2018","unstructured":"Lamini C, Benhlima S, Elbekri A (2018) Genetic algorithm based approach for autonomous mobile robot path planning. Procedia Comput Sci 127:180\u2013189. https:\/\/doi.org\/10.1016\/j.procs.2018.01.113","journal-title":"Procedia Comput Sci"},{"issue":"4","key":"9113_CR21","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1007\/s11432-011-4545-8","volume":"55","author":"M Li","year":"2012","unstructured":"Li M, Li B, Huai JP (2012) Reliability-aware automatic composition approach for web services. Sci China Inf Sci 55(4):921\u2013937","journal-title":"Sci China Inf Sci"},{"issue":"5","key":"9113_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2019","unstructured":"Luckcuck M, Farrell M, Dennis LA et al (2019) Formal specification and verification of autonomous robotic systems: a survey. ACM Comput Surv (CSUR) 52(5):1\u201341. https:\/\/doi.org\/10.1145\/3342355","journal-title":"ACM Comput Surv (CSUR)"},{"key":"9113_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2018.06.007","volume":"194","author":"M Musharraf","year":"2020","unstructured":"Musharraf M, Smith J, Khan F et al (2020) Identifying route selection strategies in offshore emergency situations using decision trees. Reliab Eng Syst Safe 194:106179. https:\/\/doi.org\/10.1016\/j.ress.2018.06.007","journal-title":"Reliab Eng Syst Safe"},{"issue":"2","key":"9113_CR24","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R Ng","year":"1992","unstructured":"Ng R, Subrahmanian VS (1992) Probabilistic logic programming. Inf Comput 101(2):150\u2013201. https:\/\/doi.org\/10.1016\/0890-5401(92)90061-J","journal-title":"Inf Comput"},{"key":"9113_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2020.107193","volume":"204","author":"R Pietrantuono","year":"2020","unstructured":"Pietrantuono R, Popov P, Russo S (2020) Reliability assessment of service-based software under operational profile uncertainty. Reliab Eng Syst Safe 204:107193. https:\/\/doi.org\/10.1016\/j.ress.2020.107193","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10489-022-03334-5","volume":"52","author":"D Raeisi","year":"2022","unstructured":"Raeisi D, Jafarzadeh Ghoushchi S (2022) A robust fuzzy multi-objective location-routing problem for hazardous waste under uncertain conditions. Appl Intell 52:1\u201321","journal-title":"Appl Intell"},{"key":"9113_CR27","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.ress.2018.07.002","volume":"180","author":"S Rebello","year":"2018","unstructured":"Rebello S, Yu H, Ma L (2018) An integrated approach for system functional reliability assessment using dynamic Bayesian network and Hidden Markov model. Reliab Eng Syst Safe 180:124\u2013135. https:\/\/doi.org\/10.1016\/j.ress.2018.07.002","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cogsys.2016.12.002","volume":"43","author":"G Rens","year":"2017","unstructured":"Rens G, Moodley DA (2017) Hybrid POMDP-BDI agent architecture with online stochastic planning and plan caching. Cogn Syst Res 43:1\u201320. https:\/\/doi.org\/10.1016\/j.cogsys.2016.12.002","journal-title":"Cogn Syst Res"},{"key":"9113_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107684","volume":"213","author":"P Rungskunroch","year":"2021","unstructured":"Rungskunroch P, Jack A, Kaewunruen S (2021) Benchmarking on railway safety performance using Bayesian inference, decision tree and petri-net techniques based on long-term accidental data sets. Reliab Eng Syst Safe 213:107684. https:\/\/doi.org\/10.1016\/j.ress.2021.107684","journal-title":"Reliab Eng Syst Safe"},{"key":"9113_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2021.107482","volume":"97","author":"A Saraswat","year":"2022","unstructured":"Saraswat A, Abhishek K, Ghalib MR et al (2022) Towards energy efficient approx cache-coherence protocol verified using model checker. Comput Electr Eng 97:107482. https:\/\/doi.org\/10.1016\/j.compeleceng.2021.107482","journal-title":"Comput Electr Eng"},{"issue":"2","key":"9113_CR31","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1515\/auto-2021-0088","volume":"70","author":"M Schwung","year":"2022","unstructured":"Schwung M, Lunze J (2022) Cooperative event-based control of mobile objects over an unreliable communication network. AT Automatisierungstechnik 70(2):105\u2013118","journal-title":"AT Automatisierungstechnik"},{"key":"9113_CR32","doi-asserted-by":"crossref","unstructured":"Song Q, Li S, Yang J, et al (2021) Intelligent optimization algorithm-based path planning for a mobile robot. Comput Intell Neurosci 1\u201317","DOI":"10.1155\/2021\/8025730"},{"key":"9113_CR33","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.asoc.2014.04.014","volume":"22","author":"K Sultan","year":"2014","unstructured":"Sultan K, Bentahar J, El-Menshawy M (2014) Model checking probabilistic social commitments for intelligent agent communication. Appl Soft Comput 22:397\u2013409. https:\/\/doi.org\/10.1016\/j.asoc.2014.04.014","journal-title":"Appl Soft Comput"},{"key":"9113_CR34","doi-asserted-by":"publisher","first-page":"3812","DOI":"10.1109\/ACCESS.2019.2962785","volume":"8","author":"H Tahir","year":"2020","unstructured":"Tahir H, Syed MN, Baroudi U (2020) Heuristic approach for real-time multi-agent trajectory planning under uncertainty. IEEE Access 8:3812\u20133826. https:\/\/doi.org\/10.1109\/ACCESS.2019.2962785","journal-title":"IEEE Access"},{"issue":"6","key":"9113_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3128584","volume":"50","author":"A Torreno","year":"2018","unstructured":"Torreno A, Onaindia E, Komenda A et al (2018) Cooperative multi-agent planning: a survey. ACM Comput Surv 50(6):1\u201334. https:\/\/doi.org\/10.1145\/3128584","journal-title":"ACM Comput Surv"},{"issue":"4","key":"9113_CR36","doi-asserted-by":"publisher","first-page":"11110","DOI":"10.1109\/LRA.2022.3196777","volume":"7","author":"C Toumieh","year":"2022","unstructured":"Toumieh C, Lambert A (2022) Decentralized multi-agent planning using model predictive control and time-aware safe corridors. IEEE Robot Autom Lett 7(4):11110\u201311117. https:\/\/doi.org\/10.1109\/LRA.2022.3196777","journal-title":"IEEE Robot Autom Lett"},{"key":"9113_CR37","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.knosys.2013.06.017","volume":"50","author":"W Wan","year":"2013","unstructured":"Wan W, Bentahar J, Hamza AB (2013) Model checking epistemic-probabilistic logic using probabilistic interpreted systems. Knowl Based Syst 50:279\u2013295. https:\/\/doi.org\/10.1016\/j.knosys.2013.06.017","journal-title":"Knowl Based Syst"},{"key":"9113_CR38","doi-asserted-by":"publisher","unstructured":"Wang B, Liu Z, Li Q et al (2020) Mobile robot path planning in dynamic environments through globally guided reinforcement learning. IEEE Robot Autom Lett 5(4):6932\u20136939. https:\/\/doi.org\/10.1109\/LRA.2020.3026638","DOI":"10.1109\/LRA.2020.3026638"},{"key":"9113_CR39","doi-asserted-by":"publisher","unstructured":"Wang X, Liu J, Nugent C et al (2023a) Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking. Knowl Based Syst 264:110355. https:\/\/doi.org\/10.1016\/j.knosys.2023.110355","DOI":"10.1016\/j.knosys.2023.110355"},{"key":"9113_CR40","doi-asserted-by":"crossref","unstructured":"Wang X, Liu J, Moore SJ et al (2023b) A behavioural hierarchical analysis framework in a smart home: integrating HMM and probabilistic model checking. Inf Fusion 95:275\u2013292","DOI":"10.1016\/j.inffus.2023.02.025"},{"issue":"5","key":"9113_CR41","doi-asserted-by":"publisher","first-page":"3033","DOI":"10.1109\/TII.2021.3109436","volume":"18","author":"D Wu","year":"2021","unstructured":"Wu D, Liu J, Wang H et al (2021) A CPN-based approach for studying impacts of communication delays on safety and availability of safety-critical distributed networked control systems. IEEE Trans Ind Inform 18(5):3033\u20133042. https:\/\/doi.org\/10.1109\/TII.2021.3109436","journal-title":"IEEE Trans Ind Inform"},{"key":"9113_CR42","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2023.109120","volume":"233","author":"T Xiahou","year":"2023","unstructured":"Xiahou T, Zheng YX, Liu Y et al (2023) Reliability modeling of modular k-out-of-n systems with functional dependency: a case study of radar transmitter systems. Reliab Eng Syst Safe 233:109120. https:\/\/doi.org\/10.1016\/j.ress.2023.109120","journal-title":"Reliab Eng Syst Safe"},{"issue":"10","key":"9113_CR43","doi-asserted-by":"publisher","first-page":"450","DOI":"10.3390\/sym10100450","volume":"10","author":"H Zhang","year":"2018","unstructured":"Zhang H, Lin W, Chen A (2018) Path planning for the mobile robot: a review. Symmetry 10(10):450. https:\/\/doi.org\/10.3390\/sym10100450","journal-title":"Symmetry"},{"key":"9113_CR44","doi-asserted-by":"crossref","unstructured":"Zhang P, Li T, Yuan Z, et al (2022) Heterogeneous feature selection based on neighborhood combination entropy. IEEE Trans Neural Netw Learn Syst 1\u201314","DOI":"10.1109\/TNNLS.2022.3193929"},{"key":"9113_CR45","doi-asserted-by":"crossref","unstructured":"Zhang P, Li T, Yuan Z et al (2023) A possibilistic information fusion-based unsupervised feature selection method using information quality measures. IEEE Trans Fuzzy Syst 1\u201314","DOI":"10.1109\/TFUZZ.2023.3238803"},{"issue":"01","key":"9113_CR46","first-page":"8066","volume":"33","author":"X Zhao","year":"2019","unstructured":"Zhao X, Robu V, Flynn D et al (2019) Probabilistic model checking of robots deployed in extreme environments. Proc AAAI Conf Artif Intell 33(01):8066\u20138074","journal-title":"Proc AAAI Conf Artif Intell"},{"key":"9113_CR47","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2020.106927","volume":"202","author":"X Zheng","year":"2020","unstructured":"Zheng X, Bolton ML, Daly C et al (2020) The development of a next-generation human reliability analysis: systems analysis for formal pharmaceutical human reliability (SAFPH). Reliab Eng Syst Safe 202:106927. https:\/\/doi.org\/10.1016\/j.ress.2020.106927","journal-title":"Reliab Eng Syst Safe"},{"issue":"2","key":"9113_CR48","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s43154-021-00046-5","volume":"2","author":"L Zhou","year":"2021","unstructured":"Zhou L, Tokekar P (2021) Multi-robot coordination and planning in uncertain and adversarial environments. Curr Robot Rep 2(2):147\u2013157","journal-title":"Curr Robot Rep"},{"key":"9113_CR49","doi-asserted-by":"crossref","unstructured":"Zhu Y, Xue X, Zhang K, et al (2016) Applying probabilistic model checking to express delivery location selection and optimization. In: IEEE 13th international conference on e-business engineering (ICEBE). IEEE, pp 32\u201339","DOI":"10.1109\/ICEBE.2016.017"},{"key":"9113_CR50","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2021.106288","volume":"159","author":"H Zhu","year":"2021","unstructured":"Zhu H, Almukdad A, Iryo-Asano M et al (2021) A novel agent-based framework for evaluating pedestrian safety at unsignalized mid-block crosswalks. Accid Anal Prev 159:106288. https:\/\/doi.org\/10.1016\/j.aap.2021.106288","journal-title":"Accid Anal Prev"},{"issue":"4","key":"9113_CR51","doi-asserted-by":"publisher","first-page":"1066","DOI":"10.1007\/s10489-016-0804-0","volume":"45","author":"Z Zojaji","year":"2016","unstructured":"Zojaji Z, Ladani BT, Khalilian A (2016) Automated program repair using genetic programming and model checking. Appl Intell 45(4):1066\u20131088","journal-title":"Appl Intell"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09113-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-023-09113-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09113-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T18:08:46Z","timestamp":1699898926000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-023-09113-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,23]]},"references-count":51,"journal-issue":{"issue":"24","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9113"],"URL":"https:\/\/doi.org\/10.1007\/s00500-023-09113-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,23]]},"assertion":[{"value":"3 August 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 August 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflicts of interest and the paper is not been submitted to any other Journals.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}