{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:49:17Z","timestamp":1756000157371,"version":"3.40.3"},"publisher-location":"Cham","reference-count":64,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031637964"},{"type":"electronic","value":"9783031637971"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-63797-1_12","type":"book-chapter","created":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T23:03:55Z","timestamp":1720566235000},"page":"219-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Template Decision Diagrams for\u00a0Meta Control and\u00a0Explainability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6675-1366","authenticated-orcid":false,"given":"Verena","family":"Kl\u00f6s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8515-1809","authenticated-orcid":false,"given":"Juliane","family":"P\u00e4\u00dfler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"12_CR1","unstructured":"Ethics guidelines for trustworthy AI - European commission, directorate-general for communications networks, content and technology (2019). https:\/\/data.europa.eu\/doi\/10.2759\/177365"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Four principles of explainable artificial intelligence - (U.S.) national institute of standards and technology (NIST) (2020). https:\/\/doi.org\/10.6028\/NIST.IR.8312-draft","DOI":"10.6028\/NIST.IR.8312-draft"},{"key":"12_CR3","unstructured":"Proposal for a regulation laying down harmonised rules on artificial intelligence (artificial intelligence act) and amending certain union legislative acts, com(2021) 206 final - European commission (2021). https:\/\/ec.europa.eu\/transparency\/regdoc\/rep\/1\/2021\/EN\/COM-2021-206-F1-EN-MAIN-PART-1.PDF"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-031-37706-8_22","volume-title":"Computer Aided Verification","author":"A Anand","year":"2023","unstructured":"Anand, A., Nayak, S.P., Schmuck, A.K.: Synthesizing permissive winning strategy templates for parity games. In: Enea, C., Lal, A. (eds.) CAV 2023. LNCS, vol. 13694, pp. 436\u2013458. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_22"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-030-72013-1_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Ashok","year":"2021","unstructured":"Ashok, P., Jackermeier, M., K\u0159et\u00ednsk\u00fd, J., Weinhuber, C., Weininger, M., Yadav, M.: dtControl 2.0: explainable strategy representation via decision tree learning steered by experts. In: Groote, J.F., Larsen, K.G. (eds.) TACAS 2021. LNCS, vol. 12652, pp. 326\u2013345. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_17"},{"key":"12_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2022.102088","volume":"142","author":"G Audemard","year":"2022","unstructured":"Audemard, G., Bellart, S., Bounia, L., Koriche, F., Lagniez, J.M., Marquis, P.: On the explanatory power of boolean decision trees. Data Knowl. Eng. 142, 102088 (2022). https:\/\/doi.org\/10.1016\/j.datak.2022.102088","journal-title":"Data Knowl. Eng."},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Bagnell, J.A., et al.: An integrated system for autonomous robotics manipulation. In: 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, 7\u201312 October 2012, pp. 2955\u20132962. IEEE (2012https:\/\/doi.org\/10.1109\/IROS.2012.6385888","DOI":"10.1109\/IROS.2012.6385888"},{"key":"12_CR8","unstructured":"Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J., Ziemek, R.: From verification to causality-based explications. In: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP) (2021)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-031-33170-1_6","volume-title":"NASA Formal Methods","author":"C Baier","year":"2023","unstructured":"Baier, C., Dubslaff, C., Wienh\u00f6ft, P., Kiebel, S.J.: Strategy synthesis in Markov decision processes under limited sampling access. In: Rozier, K.Y., Chaudhuri, S. (eds.) NFM 2023. LNCS, vol. 13903, pp. 86\u2013103. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_6"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Blumreiter, M., et al.: Towards self-explainable cyber-physical systems. In: 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 543\u2013548 (2019)","DOI":"10.1109\/MODELS-C.2019.00084"},{"key":"12_CR11","unstructured":"Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth (1984)"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293\u2013318 (1992). https:\/\/doi.org\/10.1145\/136035.136043","journal-title":"ACM Comput. Surv."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Camilli, M., Mirandola, R., Scandurra, P.: XSA: explainable self-adaptation. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, pp.\u00a01\u20135 (2022)","DOI":"10.1145\/3551349.3559552"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Chaki, S., Gurfinkel, A., Strichman, O.: Decision diagrams for linear arithmetic. In: 2009 Formal Methods in Computer-Aided Design, pp. 53\u201360 (2009). https:\/\/doi.org\/10.1109\/FMCAD.2009.5351143","DOI":"10.1109\/FMCAD.2009.5351143"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Chen, B., Peng, X., Yu, Y., Nuseibeh, B., Zhao, W.: Self-adaptation through incremental generative model transformations at runtime. In: Jalote, P., Briand, L.C., van\u00a0der Hoek, A. (eds.) 36th International Conference on Software Engineering, ICSE \u201914, Hyderabad, India, 31 May\u201307 June 2014, pp. 676\u2013687. ACM (2014). https:\/\/doi.org\/10.1145\/2568225.2568310","DOI":"10.1145\/2568225.2568310"},{"issue":"12","key":"12_CR16","doi-asserted-by":"publisher","first-page":"2860","DOI":"10.1016\/J.JSS.2012.02.060","volume":"85","author":"S Cheng","year":"2012","unstructured":"Cheng, S., Garlan, D.: Stitch: a language for architecture-based self-adaptation. J. Syst. Softw. 85(12), 2860\u20132875 (2012). https:\/\/doi.org\/10.1016\/J.JSS.2012.02.060","journal-title":"J. Syst. Softw."},{"key":"12_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111556","volume":"196","author":"P Chrszon","year":"2023","unstructured":"Chrszon, P., Baier, C., Dubslaff, C., Kl\u00fcppelholz, S.: Interaction detection in configurable systems - a formal approach featuring roles. J. Syst. Softw. 196, 111556 (2023)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00165-017-0432-4","volume":"30","author":"P Chrszon","year":"2018","unstructured":"Chrszon, P., Dubslaff, C., Kl\u00fcppelholz, S., Baier, C.: Profeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1), 45\u201375 (2018)","journal-title":"Formal Aspects Comput."},{"key":"12_CR19","unstructured":"Cioara, T., Anghel, I., Salomie, I., Dinsoreanu, M., Copil, G., Moldovan, D.: A self-adapting algorithm for context aware systems. In: 9th RoEduNet IEEE International Conference, pp. 374\u2013379 (2010)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Colledanchise, M., \u00d6gren, P.: Behavior trees in robotics and AI: an introduction. CoRR arxiv:1709.00084 (2017)","DOI":"10.1201\/9780429489105"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60\u201366. Springer, Berlin (1982). https:\/\/doi.org\/10.1007\/978-1-4612-5695-3_12","DOI":"10.1007\/978-1-4612-5695-3_12"},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Drechsler, R., L\u00fcth, C., Fey, G., G\u00fcneysu, T.: Towards self-explaining digital systems: a design methodology for the next generation. In: 3rd International Verification and Security Workshop (IVSW), pp.\u00a01\u20136. IEEE (2018). https:\/\/doi.org\/10.1109\/IVSW.2018.8494900","DOI":"10.1109\/IVSW.2018.8494900"},{"key":"12_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111915","volume":"209","author":"C Dubslaff","year":"2024","unstructured":"Dubslaff, C., Weis, K., Baier, C., Apel, S.: Feature causality. J. Syst. Softw. 209, 111915 (2024). https:\/\/doi.org\/10.1016\/j.jss.2023.111915","journal-title":"J. Syst. Softw."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Fey, G., Fr\u00e4nzle, M., Drechsler, R.: Self-explanation in systems of systems. In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW), pp. 85\u201391. IEEE (2022)","DOI":"10.1109\/REW56159.2022.00023"},{"key":"12_CR25","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)"},{"issue":"2\/3","key":"12_CR26","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1008647823331","volume":"10","author":"M Fujita","year":"1997","unstructured":"Fujita, M., McGeer, P.C., Yang, J.C.: Multi-terminal binary decision diagrams: an efficient data structure for matrix representation. Formal Methods Syst. Des. 10(2\/3), 149\u2013169 (1997)","journal-title":"Formal Methods Syst. Des."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Garg, P., Neider, D., Madhusudan, P., Roth, D.: Learning invariants using decision trees and implication counterexamples. In: POPL, pp. 499\u2013512. ACM (2016)","DOI":"10.1145\/2914770.2837664"},{"key":"12_CR28","first-page":"303","volume":"A354","author":"IJ Good","year":"1977","unstructured":"Good, I.J.: Explicativity: a mathematical theory of explanation with statistical applications. Proc. R. Soc. Lond. A354, 303\u2013330 (1977)","journal-title":"Proc. R. Soc. Lond."},{"key":"12_CR29","doi-asserted-by":"publisher","unstructured":"Harder, H., Jantsch, S., Baier, C., Dubslaff, C.: A unifying formal approach to importance values in Boolean functions. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 2728\u20132737. International Joint Conferences on Artificial Intelligence Organization (2023). https:\/\/doi.org\/10.24963\/ijcai.2023\/304","DOI":"10.24963\/ijcai.2023\/304"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Hezavehi, S.M., Weyns, D., Avgeriou, P., Calinescu, R., Mirandola, R., Perez-Palacin, D.: Uncertainty in self-adaptive systems: a research community perspective. ACM Trans. Auton. Adapt. Syst. 15(4) (2021). https:\/\/doi.org\/10.1145\/3487921","DOI":"10.1145\/3487921"},{"key":"12_CR31","doi-asserted-by":"publisher","unstructured":"Horv\u00e1th, I., Tav\u010dar, J.: Designing cyber-physical systems for runtime self-adaptation: knowing more about what we miss... J. Integr. Des. Process Sci. 25(2), 1\u201326 (2021).https:\/\/doi.org\/10.3233\/JID210030","DOI":"10.3233\/JID210030"},{"key":"12_CR32","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-031-57256-2_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Husung","year":"2024","unstructured":"Husung, N., Dubslaff, C., Hermanns, H., K\u00f6hl, M.A.: OxiDD: a safe, concurrent, modular, and performant decision diagram framework in rust. In: Finkbeiner, B., Kov\u00e1cs, L. (eds.) TACAS 202. LNCS, vol. 14572, pp. 255\u2013275. Springer, Cham (2024)"},{"key":"12_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/J.ROBOT.2022.104096","volume":"154","author":"M Iovino","year":"2022","unstructured":"Iovino, M., Scukins, E., Styrud, J., \u00d6gren, P., Smith, C.: A survey of behavior trees in robotics and AI. Rob. Auton. Syst. 154, 104096 (2022). https:\/\/doi.org\/10.1016\/J.ROBOT.2022.104096","journal-title":"Rob. Auton. Syst."},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Jung, G., Joshi, K.R., Hiltunen, M.A., Schlichting, R.D., Pu, C.: Generating adaptation policies for multi-tier applications in consolidated server environments. In: 2008 International Conference on Autonomic Computing, pp. 23\u201332 (2008). https:\/\/doi.org\/10.1109\/ICAC.2008.21","DOI":"10.1109\/ICAC.2008.21"},{"issue":"1","key":"12_CR35","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. 36(1), 41\u201350 (2003). https:\/\/doi.org\/10.1109\/MC.2003.1160055","journal-title":"IEEE Comput."},{"key":"12_CR36","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.sysarc.2018.03.004","volume":"85","author":"V Kl\u00f6s","year":"2018","unstructured":"Kl\u00f6s, V., G\u00f6thel, T., Glesner, S.: Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Arch. 85, 28\u201342 (2018)","journal-title":"J. Syst. Arch."},{"key":"12_CR37","doi-asserted-by":"publisher","unstructured":"Kohita, R., Wachi, A., Kimura, D., Chaudhury, S., Tatsubori, M., Munawar, A.: Language-based general action template for reinforcement learning agents. In: Zong, C., Xia, F., Li, W., Navigli, R. (eds.) Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pp. 2125\u20132139. Association for Computational Linguistics (2021). https:\/\/doi.org\/10.18653\/v1\/2021.findings-acl.187","DOI":"10.18653\/v1\/2021.findings-acl.187"},{"key":"12_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Li, N., Adepu, S., Kang, E., Garlan, D.: Explanations for human-on-the-loop: a probabilistic model checking approach. In: Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 181\u2013187 (2020)","DOI":"10.1145\/3387939.3391592"},{"key":"12_CR40","doi-asserted-by":"publisher","unstructured":"Lim, B.Y., Dey, A.K., Avrahami, D.: Why and why not explanations improve the intelligibility of context-aware intelligent systems. In: SIGCHI Conference on Human Factors in Computing Systems, pp. 2119\u20132128 (2009). https:\/\/doi.org\/10.1145\/1518701.1519023","DOI":"10.1145\/1518701.1519023"},{"key":"12_CR41","unstructured":"Little, I., Thi\u00e9baux, S.: Probabilistic planning vs replanning. In: Proceedings of ICAPS Workshop on IPC: Past, Present and Future (2007)"},{"key":"12_CR42","doi-asserted-by":"publisher","unstructured":"Mayr, M., Chatzilygeroudis, K., Ahmad, F., Nardi, L., Krueger, V.: Learning of parameters in behavior trees for movement skills. In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 7572\u20137579 (2021). https:\/\/doi.org\/10.1109\/IROS51168.2021.9636292","DOI":"10.1109\/IROS51168.2021.9636292"},{"key":"12_CR43","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"4","author":"TJ McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng. 4, 308\u2013320 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR44","doi-asserted-by":"publisher","unstructured":"McMillan, K.L.: Symbolic Model Checking. Springer, Boston (1993). https:\/\/doi.org\/10.1007\/978-1-4615-3190-6_3","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Minato, S.I.: Binary Decision Diagrams and Applications for VLSI CAD. Kluwer Academic Publishers, Boston (1996)","DOI":"10.1007\/978-1-4613-1303-8"},{"key":"12_CR46","unstructured":"Mitchell, T.M.: Machine learning. McGraw Hill series in computer science. McGraw-Hill (1997)"},{"issue":"3","key":"12_CR47","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TASE.2011.2124457","volume":"8","author":"L Ouedraogo","year":"2011","unstructured":"Ouedraogo, L., Kumar, R., Malik, R., Akesson, K.: Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Trans. Autom. Sci. Eng. 8(3), 560\u2013569 (2011). https:\/\/doi.org\/10.1109\/TASE.2011.2124457","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"12_CR48","doi-asserted-by":"publisher","unstructured":"Padalkar, A., et al.: Guiding reinforcement learning with shared control templates. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 11531\u201311537 (2023). https:\/\/doi.org\/10.1109\/ICRA48891.2023.10161058","DOI":"10.1109\/ICRA48891.2023.10161058"},{"key":"12_CR49","doi-asserted-by":"publisher","unstructured":"P\u00e4\u00dfler, J., ter Beek, M.H., Damiani, F., Tapia\u00a0Tarifa, S.L., Johnsen, E.B.: Formal modelling and analysis of a self-adaptive robotic system. In: Herber, P., Wijs, A. (eds.) Proceedings of the 18th International Conference on integrated Formal Methods (iFM 2023), LNCS, vol. 14300, pp. 343\u2013363. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-47705-8_18","DOI":"10.1007\/978-3-031-47705-8_18"},{"key":"12_CR50","doi-asserted-by":"publisher","unstructured":"Plambeck, S., Fey, G., Schyga, J., Hinckeldeyn, J., Kreutzfeldt, J.: Explaining cyber-physical systems using decision trees. In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), pp.\u00a03\u20138 (2022). https:\/\/doi.org\/10.1109\/CAADCPS56132.2022.00006","DOI":"10.1109\/CAADCPS56132.2022.00006"},{"issue":"1","key":"12_CR51","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00116251","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"key":"12_CR52","doi-asserted-by":"publisher","unstructured":"Rezende\u00a0Silva, G., et al.: SUAVE: an exemplar for self-adaptive underwater vehicles. In: Proceedings of the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023), pp. 181\u2013187. IEEE (2023). https:\/\/doi.org\/10.1109\/SEAMS59076.2023.00031","DOI":"10.1109\/SEAMS59076.2023.00031"},{"key":"12_CR53","doi-asserted-by":"publisher","unstructured":"Rodrigues, A., Caldas, R.D., Rodrigues, G.N., Vogel, T., Pelliccione, P.: A learning approach to enhance assurances for real-time self-adaptive systems. In: Andersson, J., Weyns, D. (eds.) Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, 28\u201329 May 2018, pp. 206\u2013216. ACM (2018). https:\/\/doi.org\/10.1145\/3194133.3194147","DOI":"10.1145\/3194133.3194147"},{"key":"12_CR54","doi-asserted-by":"publisher","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4(2), 14:1\u201314:42 (2009). https:\/\/doi.org\/10.1145\/1516533.1516538","DOI":"10.1145\/1516533.1516538"},{"key":"12_CR55","doi-asserted-by":"publisher","first-page":"20","DOI":"10.4204\/eptcs.371.2","volume":"371","author":"M Schwammberger","year":"2022","unstructured":"Schwammberger, M., Kl\u00f6s, V.: From specification models to explanation models: an extraction and refinement process for timed automata. Electron. Proc. Theor. Comput. Sci. 371, 20\u201337 (2022). https:\/\/doi.org\/10.4204\/eptcs.371.2","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"12_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-25090-3_13","volume-title":"Motion in Games","author":"A Shoulson","year":"2011","unstructured":"Shoulson, A., Garcia, F.M., Jones, M., Mead, R., Badler, N.I.: Parameterizing behavior trees. In: Allbeck, J.M., Faloutsos, P. (eds.) MIG 2011. LNCS, vol. 7060, pp. 144\u2013155. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25090-3_13"},{"key":"12_CR57","doi-asserted-by":"publisher","unstructured":"Sistla, M.A., Chaudhuri, S., Reps, T.: Cflobdds: context-free-language ordered binary decision diagrams. ACM Trans. Program. Lang. Syst. (2024). https:\/\/doi.org\/10.1145\/3651157","DOI":"10.1145\/3651157"},{"key":"12_CR58","doi-asserted-by":"publisher","unstructured":"Srinivasan, A., Ham, T., Malik, S., Brayton, R.: Algorithms for discrete function manipulation. In: 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, pp. 92\u201395 (1990). https:\/\/doi.org\/10.1109\/ICCAD.1990.129849","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"12_CR59","doi-asserted-by":"crossref","unstructured":"Sun, Y., Yin, X., Huang, F.: Temple: learning template of transitions for sample efficient multi-task RL. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a035, pp. 9765\u20139773 (2021)","DOI":"10.1609\/aaai.v35i11.17174"},{"key":"12_CR60","unstructured":"Union, E.: On the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing directive 95\/46\/ec (general data protection regulation). In: Regulation (EU) 2016\/679 of the European Parliament And of the Council. vol. Article 13(2)(f) (2016)"},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Watson, A., Wallace, D., McCabe, T., Associates, M.., of\u00a0Standards, N.I., (U.S.), T.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. No. v. 13 in NIST special publication, U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology (1996)","DOI":"10.6028\/NIST.SP.500-235"},{"key":"12_CR62","volume-title":"An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective","author":"D Weyns","year":"2020","unstructured":"Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. John Wiley & Sons, Hoboken (2020)"},{"issue":"16","key":"12_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ifacol.2018.08.001","volume":"51","author":"IS Zapreev","year":"2018","unstructured":"Zapreev, I.S., Verdier, C., Mazo, M.: Optimal symbolic controllers determinization for BDD storage. IFAC-PapersOnLine 51(16), 1\u20136 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.08.001","journal-title":"IFAC-PapersOnLine"},{"key":"12_CR64","doi-asserted-by":"crossref","unstructured":"Zuse, H.: Software Complexity: Measures and Methods. Programming complex systems, W. de Gruyter (1991)","DOI":"10.1515\/9783110866087"}],"container-title":["Communications in Computer and Information Science","Explainable Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-63797-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T23:26:05Z","timestamp":1720567565000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-63797-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031637964","9783031637971"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-63797-1_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"xAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"World Conference on Explainable Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"xai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/xaiworldconference.com\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}