{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T03:01:22Z","timestamp":1762052482687,"version":"build-2065373602"},"reference-count":75,"publisher":"MDPI AG","issue":"6","license":[{"start":{"date-parts":[[2022,5,28]],"date-time":"2022-05-28T00:00:00Z","timestamp":1653696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computation"],"abstract":"<jats:p>Innumerable industries now use multi-agent systems (MASs) in various contexts, including healthcare, security, and commercial deployments. It is challenging to select reliable business protocols for critically important safety-related systems (e.g., in healthcare). The verification and validation of business applications is increasingly explored concerning multi-agent systems\u2019 group social commitments. This study explains a novel extended reduction verification method to model-check business applications\u2019 critical specification rules using action restricted computation tree logic (ARCTL). In particular, we aim to conduct the verification process for the CTLGC logic using a reduction algorithm and show its effectiveness to handle MASs with huge models, thus, showing its importance and applicability in large real-world applications. To do so, we need to transform the CTLGC model to an ARCTL model and the CTLGC formulas into ARCTL formulas. Thus, the developed method was verified with the model-checker new symbolic model verifier (NuSMV), and it demonstrated effectiveness in the safety-critical specification rule support provision. The proposed method can verify up to 2.43462 \u00d7 1014 states MASs, which shows its effectiveness when applied to real-world applications.<\/jats:p>","DOI":"10.3390\/computation10060084","type":"journal-article","created":{"date-parts":[[2022,5,29]],"date-time":"2022-05-29T08:50:51Z","timestamp":1653814251000},"page":"84","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reduction Model Checking for Multi-Agent Systems of Group Social Commitments"],"prefix":"10.3390","volume":"10","author":[{"given":"Bader M.","family":"AlFawwaz","sequence":"first","affiliation":[{"name":"Information Systems Department, Prince Hussein Bin Abdullah Faculty for Information Technology, Al al-Bayt University, Mafraq 25113, Jordan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9519-6792","authenticated-orcid":false,"given":"Faisal","family":"Al-Saqqar","sequence":"additional","affiliation":[{"name":"Computer Science Department, Prince Hussein Bin Abdullah Faculty for Information Technology, Al al-Bayt University, Mafraq 25113, Jordan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3861-3622","authenticated-orcid":false,"given":"Atallah","family":"AL-Shatnawi","sequence":"additional","affiliation":[{"name":"Information Systems Department, Prince Hussein Bin Abdullah Faculty for Information Technology, Al al-Bayt University, Mafraq 25113, Jordan"}]}],"member":"1968","published-online":{"date-parts":[[2022,5,28]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1016\/j.simpat.2007.02.005","article-title":"Simulation and evaluation of urban bus-networks using a multiagent approach","volume":"15","author":"Meignan","year":"2007","journal-title":"Simul. Model. Pr. Theory"},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Jennings, N.R., and Wooldridge, M.J. (1998). Applications of intelligent agents. Agent Technology: Foundations, Applications, and Markets, Springer.","DOI":"10.1007\/978-3-662-03678-5_1"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"1606","DOI":"10.1016\/j.simpat.2008.08.008","article-title":"Simulation of Multi-Agent based Cybernetic Transportation System","volume":"16","author":"Wang","year":"2008","journal-title":"Simul. Model. Pract. Theory"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.simpat.2010.06.016","article-title":"Simulating collaborative systems by means of awareness of interaction among intelligent agents","volume":"19","author":"Paletta","year":"2011","journal-title":"Simul. Model. Prat. Theory"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Bentahar, J., Meyer, J.-J., and Wan, W. (2010). Model checking communicative agent-based system. Specification and Verification of Multi-Agent Systems, Springer.","DOI":"10.1007\/978-1-4419-6984-2_3"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.simpat.2013.09.002","article-title":"An ontology-based metamodel for multiagent-based simulations","volume":"40","author":"Galland","year":"2014","journal-title":"Simul. Model. Pract. Theory"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.tcs.2013.07.012","article-title":"Combined model checking for temporal, probabilistic, and real-time logics","volume":"503","author":"Konur","year":"2013","journal-title":"Theor. Comput. Sci."},{"key":"ref_8","first-page":"1","article-title":"Reasoning about group social commitments in multi-agent systems","volume":"9","year":"2020","journal-title":"J. Ambient Intell. Humaniz. Comput."},{"key":"ref_9","first-page":"375","article-title":"Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*","volume":"27","author":"Bentahar","year":"2012","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00871719","article-title":"New and used temporal models: An issue of time","volume":"3","author":"Anger","year":"1993","journal-title":"Appl. Intell."},{"key":"ref_11","unstructured":"Clarke, E., Grumberg, O., and Peled, D. (1999). Model Checking, The MIT Press."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y. (1995). Reasoning About Knowledge, The MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"ref_13","first-page":"113","article-title":"Symbolic model checking of logics with actions","volume":"4428","author":"Edelkamp","year":"2006","journal-title":"MoChArt"},{"key":"ref_14","unstructured":"Lomuscio, A., Pecheur, C., and Raimondi, F. (2007, January 6\u201312). Automatic verification of knowledge and time with nusmv. Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI\u201907, Hyderabad, India."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1186\/s13673-019-0165-x","article-title":"A symbolic model checking approach in formal verification of distributed systems","volume":"9","author":"Souri","year":"2019","journal-title":"Hum. -Cent. Comput. Inf. Sci."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"5065","DOI":"10.1007\/s12652-020-01812-7","article-title":"Maintaining ethical resolution in distributed constraint reasoning","volume":"11","author":"Khattabi","year":"2020","journal-title":"J. Ambient Intell. Humaniz. Comput."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s10489-013-0513-x","article-title":"On the interaction between knowledge and social commitments in multi-agent systems","volume":"41","author":"Bentahar","year":"2014","journal-title":"Appl. Intell."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.simpat.2014.11.003","article-title":"Model checking temporal knowledge and commitments in multi-agent systems using reduction","volume":"51","author":"Bentahar","year":"2015","journal-title":"Simul. Model. Pract. Theory"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Dignum, F., and Greaves, M. (2000). Issues in Agent Communication, Volume 1916 of Lecture Notes in Computer Science, Springer.","DOI":"10.1007\/10722777"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1007\/s10489-012-0387-3","article-title":"Multi levels semantic architecture for multimodal interaction","volume":"38","author":"Dourlens","year":"2012","journal-title":"Appl. Intell."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.jss.2017.12.042","article-title":"Model checking real-time conditional commitment logic using transformation","volume":"138","author":"Bentahar","year":"2018","journal-title":"J. Syst. Softw."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/FI-2017-1519","article-title":"SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication","volume":"152","author":"Bentahar","year":"2017","journal-title":"Fundam. Inform."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s10458-006-0018-7","article-title":"Agent communication and social concepts","volume":"14","author":"Dignum","year":"2007","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"ref_24","unstructured":"El-Menshawy, M. (2012). Model Checking Logics of Social Commitments for Agent Communication. [Ph.D. Thesis, Concordia University]."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","article-title":"Agent communication languages: Rethinking the principles","volume":"31","author":"Singh","year":"1998","journal-title":"Computer"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Singh, M.P. (2000). A social semantics for agent communication languages. Issues in Agent Communication, Springer.","DOI":"10.1007\/10722777_3"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Wo\u017ana-Szcze\u015bniak, B., and Szcze\u015bniak, I. (2018, January 20\u201322). Real-time conditional commitment logic and duration communication interpreted systems. Proceedings of the Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain.","DOI":"10.1007\/978-3-319-94649-8_13"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10723-007-9062-z","article-title":"Building a Peer-to-peer Information System in Grids via Self-organizing Agents","volume":"6","author":"Forestiero","year":"2008","journal-title":"J. Grid Comput."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Searle, J.R. (1969). Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press.","DOI":"10.1017\/CBO9781139173438"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"1597","DOI":"10.1007\/s12652-018-0755-x","article-title":"Formalizing tool use in intelligent environments","volume":"10","author":"Acay","year":"2019","journal-title":"J. Ambient Intell."},{"key":"ref_31","unstructured":"Wooldridge, M. (2002). Introduction to Multiagent Systems, Wiley."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158668","article-title":"A survey of statistical model checking","volume":"28","author":"Agha","year":"2018","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1108\/K-02-2018-0092","article-title":"A model checking approach for user relationship management in the social network","volume":"48","author":"Souri","year":"2019","journal-title":"Kybernetes"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1613\/jair.1.11494","article-title":"A Coupled Operational Semantics for Goals and Commitments","volume":"65","author":"Telang","year":"2019","journal-title":"J. Artif. Intell. Res."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","article-title":"Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols","volume":"42","author":"Yolum","year":"2004","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Berry, G., Comon, H., and Finkel, A. (2001). Efficient Model Checking Via B\u00fcchi Tableau Automata?. Computer Aided Verification, Lecture Notes in Computer Science; Springer.","DOI":"10.1007\/3-540-44585-4"},{"key":"ref_37","unstructured":"Drawel, N., Bentahar, J., El-Menshawy, M., and Laarej, A. (2018, January 14). Verifying temporal trust logic using CTL model checking. Proceedings of the 20th International Trust Workshop Co-Located with AAMAS\/IJCAI\/ECAI\/ICML 2018, Stockholm, Sweden."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Forestiero, A., Mastroianni, C., and Spezzano, G. (2007, January 10\u201312). Antares: An ant-inspired P2P information system for a self-structured grid. Proceedings of the 2007 2nd Bio-Inspired Models of Network, Information and Computing Systems, Budapest, Hungary.","DOI":"10.1109\/BIMNICS.2007.4610103"},{"key":"ref_39","unstructured":"Christie, S.H., Chopra, A.K., and Singh, M.P. (2018, January 10\u201315). Compositional correctness in multiagent interactions. Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS \u201918, Stockholm, Sweden."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1008319631231","article-title":"An ontology for commitments in multiagent systems","volume":"7","author":"Singh","year":"1999","journal-title":"Artif. Intell. Law"},{"key":"ref_41","first-page":"146","article-title":"A review on the verification approaches and tools used to verify the correctness of security algorithms and protocols","volume":"10","author":"Rahim","year":"2019","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"key":"ref_42","unstructured":"Baldoni, M., Baroglio, C., and Marengo, E. (2010, January 16\u201320). Behavior-oriented commitment-based protocols. Proceedings of the 19th European Conference on Artificial Intelligence, Lisbon, Portugal."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Desai, N., Cheng, Z., Chopra, A.K., and Singh, M.P. (2007, January 14\u201318). Toward verification of commitment protocols and their compositions. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Honolulu, HI, USA.","DOI":"10.1145\/1329125.1329165"},{"key":"ref_44","unstructured":"Gunay, A., Chopra, A.K., and Singh, M.P. (2019, January 13\u201317). Supple: Multiagent communication protocols with causal types. Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201919, Montreal, QC, Canada."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.eswa.2016.12.031","article-title":"Specifying and verifying contract-driven service compositions using commitments and model checking","volume":"74","author":"Bataineh","year":"2017","journal-title":"Expert Syst. Appl."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1016\/j.eswa.2012.07.069","article-title":"Symbolic model checking composite Web services using operational and control behaviors","volume":"40","author":"Bentahar","year":"2013","journal-title":"Expert Syst. Appl."},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1010056221226","article-title":"Verifying Compliance with Commitment Protocols","volume":"2","author":"Venkatraman","year":"1999","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1571629.1571632","article-title":"Amoeba: A methodology for modeling and evolving crossorganizational business processes","volume":"19","author":"Desai","year":"2009","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10506-007-9055-z","article-title":"Artificial institutions: A model of institutional reality for open multiagent systems","volume":"16","author":"Fornara","year":"2008","journal-title":"Artif. Intell. Law"},{"key":"ref_50","unstructured":"G\u00fcnay, A., and Chopra, A.K. (2018, January 14\u201315). Stellar: A programming model for developing protocol-compliant agents. Proceedings of the Engineering Multi-Agent Systems\u20146th International Workshop, EMAS 2018, Stockholm, Sweden. Revised Selected Papers."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Winikoff, M. (2007, January 14\u201318). Implementing commitment-based interactions. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Honolulu HI, USA.","DOI":"10.1145\/1329125.1329283"},{"key":"ref_52","unstructured":"Singh, M.P., and Chopra, A.K. (2018). Violable contracts and governance for blockchain applications. arXiv."},{"key":"ref_53","unstructured":"Boella, G., Pigozzi, G., Slavkovik, M., and van der Torre, L.W.N. (, January May). Group intention is social choice with commitment. Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI-COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, ON, Canada. Revised Selected Papers."},{"key":"ref_54","unstructured":"Castelfranchi, C. (1995, January 12\u201314). Commitments: From individual intentions to groups and organizations. Proceedings of the First International Conference on Multiagent Systems, San Francisco, CA, USA."},{"key":"ref_55","unstructured":"Dunin-Keplicz, B., and Verbrugge, R. (2003, January 16\u201318). Calibrating collective commitments. Proceedings of the Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic."},{"key":"ref_56","unstructured":"Garion, C., and Cholvy, L. (2007, January 18\u201323). Deriving individual obligations from collective obligations. Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent System, Melbourne, Australia."},{"key":"ref_57","unstructured":"Wright, B. (2012, January 4\u20138). Together, is anything possible? A look at collective commitments for agents. Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, Budapest, Hungary."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-Based Algorithms for Boolean Function Manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"Comput. IEEE Trans. Comput."},{"key":"ref_59","unstructured":"Kholy, W.E., El-Menshawy, M., Laarej, A., Bentahar, J., Al-Saqqar, F., and Dssouli, R. (2015, January 26\u201330). Real-time conditional commitment logic. Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems\u201418th International Conference, Bertinoro, Italy."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"114792","DOI":"10.1016\/j.eswa.2021.114792","article-title":"Model checking agent-based communities against uncertain group commitments and knowledge","volume":"177","author":"Sultan","year":"2021","journal-title":"Expert Syst. Appl."},{"key":"ref_61","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.knosys.2012.04.010","article-title":"Communicative commitments: Model checking and complexity analysis","volume":"35","author":"Bentahar","year":"2012","journal-title":"Knowl. -Based Syst."},{"key":"ref_62","unstructured":"Qu, H., and Raimondi, F. (2009). MCMAS: A model checker for the verification of multi-agent systems. Computer Aided Verification, Springer. Lecture Notes in Computer Science."},{"key":"ref_63","unstructured":"Raimondi, F. (2006). Model Checking Multi-Agent Systems. [Ph.D. Thesis, University College London]."},{"key":"ref_64","unstructured":"El-Menshawy, M., Bentahar, J., Qu, H., and Dssouli, R. (2011, January 2\u20136). On the verification of social commitments and time. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Taipei, Taiwan."},{"key":"ref_65","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., and Penczek, W. (2012). Symbolic model checking for temporal-epistemic logic. Logic Programs, Norms and Action, Springer.","DOI":"10.1007\/978-3-642-29414-3_10"},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Wan, W., Bentahar, J., and Hamza, A.B. (2011). Model checking epistemic and probabilistic properties of multi-agent systems. International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Springer.","DOI":"10.1007\/978-3-642-21827-9_8"},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/j.knosys.2013.06.017","article-title":"Model checking epistemic\u2013probabilistic logic using probabilistic interpreted systems","volume":"50","author":"Wan","year":"2013","journal-title":"Knowledge-Based Syst."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"Nusmv 2: An opensource tool for symbolic model checking","volume":"Volume 2404","author":"Brinksma","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/6.570823","article-title":"Credits and debits on the Internet","volume":"34","author":"Sirbu","year":"1997","journal-title":"IEEE Spectr."},{"key":"ref_70","unstructured":"Cox, B., Tygar, J.D., and Sirbu, M. (1995, January 11\u201312). Netbill security and transaction protocol. Proceedings of the First USENIX Workshop on Electronic Commerce, New York, NY, USA."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10458-006-7232-1","article-title":"An algebra for commitment protocols","volume":"14","author":"Mallya","year":"2007","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"ref_72","unstructured":"Yolum, P., and Singh, M.P. (2001, January 1\u20133). Commitment machines. Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages, Seattle, WA, USA. ATAL-01."},{"key":"ref_73","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.knosys.2008.11.006","article-title":"Model checking communicative agent-based systems","volume":"22","author":"Bentahar","year":"2009","journal-title":"Knowledge-Based Syst."},{"key":"ref_74","unstructured":"Cheng, Z. (2006). Verifying Commitment-Based Business Protocols and Their Compositions: Model Checking Using Promela and Spin. [Ph.D. Thesis, North Carolina State University]."},{"key":"ref_75","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1016\/j.knosys.2010.03.014","article-title":"Towards a framework for estimating system NFRs on behavioral models","volume":"23","author":"Mizouni","year":"2010","journal-title":"Knowledge-Based Syst."}],"container-title":["Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2079-3197\/10\/6\/84\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T23:20:23Z","timestamp":1760138423000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2079-3197\/10\/6\/84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,28]]},"references-count":75,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,6]]}},"alternative-id":["computation10060084"],"URL":"https:\/\/doi.org\/10.3390\/computation10060084","relation":{},"ISSN":["2079-3197"],"issn-type":[{"type":"electronic","value":"2079-3197"}],"subject":[],"published":{"date-parts":[[2022,5,28]]}}}