{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T14:03:04Z","timestamp":1762351384408,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"vor","delay-in-days":70,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005713","name":"Technische Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005713","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Recently, decision trees (DT) have been used as an explainable representation of controllers (a.k.a. strategies, policies, schedulers). Although they are often very efficient and produce small and understandable controllers for discrete systems, complex continuous dynamics still pose a challenge. In particular, when the relationships between variables take more complex forms, such as polynomials, they cannot be obtained using the available DT learning procedures. In contrast, support vector machines provide a more powerful representation, capable of discovering many such relationships, but not in an explainable form. Therefore, we suggest to combine the two frameworks to obtain an understandable representation over richer, domain-relevant algebraic predicates. We demonstrate and evaluate the proposed method experimentally on established benchmarks.<\/jats:p>","DOI":"10.1007\/s10009-023-00716-z","type":"journal-article","created":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T14:03:38Z","timestamp":1691676218000},"page":"249-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Algebraically explainable controllers: decision trees and support vector machines join forces"],"prefix":"10.1007","volume":"25","author":[{"given":"Florian","family":"J\u00fcngermann","sequence":"first","affiliation":[]},{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]},{"given":"Maximilian","family":"Weininger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,10]]},"reference":[{"key":"716_CR1","unstructured":"Akmese, S.M.: Generating richer predicates for decision trees. Bachelor\u2019s thesis, Technical University of Munich (2019)"},{"key":"716_CR2","volume-title":"Practical Handbook of Curve Fitting","author":"S. Arlinghaus","year":"1994","unstructured":"Arlinghaus, S.: Practical Handbook of Curve Fitting. Taylor & Francis, London (1994)"},{"key":"716_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-030-30281-8_7","volume-title":"Quantitative Evaluation of Systems","author":"P. Ashok","year":"2019","unstructured":"Ashok, P., Br\u00e1zdil, T., Chatterjee, K., K\u0159et\u00ednsk\u00fd, J., Lampert, C.H., Toman, V.: Strategy representation by decision trees with linear classifiers. In: Parker, D., Wolf, V. (eds.) Quantitative Evaluation of Systems, pp.\u00a0109\u2013128. Springer, Cham (2019)"},{"key":"716_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-030-30281-8_9","volume-title":"Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Proceedings","author":"P. Ashok","year":"2019","unstructured":"Ashok, P., Kret\u00ednsk\u00fd, J., Guldstrand Larsen, K., Le Co\u00ebnt, A., Taankvist, J.H., Weininger, M.: SOS: safe, optimal and small strategies for hybrid Markov decision processes. In: Parker, D., Wolf, V. (eds.) Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Proceedings, Glasgow, UK, September 10-12, 2019, Lecture Notes in Computer Science, vol.\u00a011785, pp.\u00a0147\u2013164. Springer Berlin (2019)"},{"key":"716_CR5","volume-title":"Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC\u201920","author":"P. Ashok","year":"2020","unstructured":"Ashok, P., Jackermeier, M., Jagtap, P., K\u0159et\u00ednsk\u00fd, J., Weininger, M., Dtcontrol, M.Z.: Decision tree learning algorithms for controller representation. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC\u201920. Association for Computing Machinery, New York (2020)"},{"key":"716_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-030-72013-1_17","volume-title":"TACAS (2)","author":"P. Ashok","year":"2021","unstructured":"Ashok, P., Jackermeier, M., Kret\u00ednsk\u00fd, J., Weinhuber, C., Weininger, M., Yadav, M.: dtcontrol 2.0: explainable strategy representation via decision tree learning steered by experts. In: TACAS (2). Lecture Notes in Computer Science, vol.\u00a012652, pp.\u00a0326\u2013345. Springer, Berlin (2021)"},{"issue":"2\/3","key":"716_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1008699807402","volume":"10","author":"R.I. Bahar","year":"1997","unstructured":"Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. Form. Methods Syst. Des. 10(2\/3), 171\u2013206 (1997)","journal-title":"Form. Methods Syst. Des."},{"key":"716_CR8","doi-asserted-by":"publisher","first-page":"2396","DOI":"10.1109\/IJCNN.1998.687237","volume-title":"1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No. 98CH36227)","author":"K.P. Bennett","year":"1998","unstructured":"Bennett, K.P., Blue, J.A.: A support vector machine approach to decision trees. In: 1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No. 98CH36227), vol.\u00a03, pp.\u00a02396\u20132401 (1998)"},{"issue":"9","key":"716_CR9","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the variable ordering of obdds is np-complete. IEEE Trans. Comput. 45(9), 993\u20131002 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"716_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-319-21690-4_10","volume-title":"Computer Aided Verification - 27th International Conference, CAV 2015,, Proceedings, Part I","author":"T. Br\u00e1zdil","year":"2015","unstructured":"Br\u00e1zdil, T., Chatterjee, K., Chmelik, M., Fellner, A., Kret\u00ednsk\u00fd, J.: Counterexample explanation by learning small strategies in Markov decision processes. In: Kroening, D., Pasareanu, C.S. (eds.) Computer Aided Verification - 27th International Conference, CAV 2015,, Proceedings, Part I, San Francisco, CA, USA, July 18-24, 2015, Lecture Notes in Computer Science, vol.\u00a09206, pp.\u00a0158\u2013177. Springer Berlin (2015)"},{"key":"716_CR11","volume-title":"Classification and Regression Trees","author":"L. Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth, Belmont (1984)"},{"issue":"8","key":"716_CR12","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"716_CR13","first-page":"1471","volume":"11","author":"Y.-W. Chang","year":"2010","unstructured":"Chang, Y.-W., Hsieh, C.-J., Chang, K.-W., Ringgaard, M., Lin, C.-J.: Training and testing low-degree polynomial data mappings via linear SVM. J. Mach. Learn. Res. 11, 1471\u20131490 (2010)","journal-title":"J. Mach. Learn. Res."},{"key":"716_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings","author":"A. David","year":"2015","unstructured":"David, A., Gj\u00f8l Jensen, P., Guldstrand Larsen, K., Mikucionis, M., Haahr, J.: Taankvist. Uppaal stratego. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings, London, UK, April 11-18, 2015, Lecture Notes in Computer Science, vol.\u00a09035, pp.\u00a0206\u2013211. Springer Berlin (2015)"},{"issue":"1\u20133","key":"716_CR15","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1012454411458","volume":"46","author":"D. DeCoste","year":"2002","unstructured":"DeCoste, D., Sch\u00f6lkopf, B.: Training invariant support vector machines. Mach. Learn. 46(1\u20133), 161\u2013190 (2002)","journal-title":"Mach. Learn."},{"key":"716_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings, Part II","author":"C. Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kuncak, V. (eds.) Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings, Part II, Heidelberg, Germany, July 24-28, 2017, Lecture Notes in Computer Science, vol.\u00a010427, pp.\u00a0592\u2013600. Springer Berlin (2017)"},{"key":"716_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/978-3-030-17462-0_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, Part I","author":"A. Hartmanns","year":"2019","unstructured":"Hartmanns, A., Klauck, M., Parker, D., Quatmann, T., Ruijters, E.: The quantitative verification benchmark set. In: Vojnar, T., Zhang, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, Part I, Prague, Czech Republic, April 6-11, 2019, Lecture Notes in Computer Science, vol.\u00a011427, pp.\u00a0344\u2013350. Springer, Berlin (2019)"},{"key":"716_CR18","series-title":"Springer Series in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-84858-7","volume-title":"The Elements of Statistical Learning: Data Mining, Inference, and Prediction","author":"T. Hastie","year":"2009","unstructured":"Hastie, T., Tibshirani, R., Friedman, J.H.: The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd edn. Springer Series in Statistics. Springer, Berlin (2009)","edition":"2"},{"key":"716_CR19","first-page":"252","volume-title":"Machine Learning, Proceedings of the Thirteenth International Conference (ICML\u201996)","author":"A. Ittner","year":"1996","unstructured":"Ittner, A., Schlosser, M.: Non-linear decision trees - NDT. In: Saitta, L. (ed.) Machine Learning, Proceedings of the Thirteenth International Conference (ICML\u201996), Bari, Italy, July 3\u20136, 1996, pp.\u00a0252\u2013257. Morgan Kaufmann, San Mateo (1996)"},{"key":"716_CR20","unstructured":"Jackermeier, M.: dtcontrol: Decision tree learning for explainable controller representation. Bachelor\u2019s thesis, Technical University of Munich (2020)"},{"key":"716_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-66335-7_21","volume-title":"Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Proceedings","author":"P. Jagtap","year":"2017","unstructured":"Jagtap, P., Zamani, M.: QUEST: a tool for state-space quantization-free synthesis of symbolic controllers. In: Bertrand, N., Bortolussi, L. (eds.) Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Proceedings, Berlin, Germany, September 5-7, 2017, Lecture Notes in Computer Science, vol.\u00a010503, pp.\u00a0309\u2013313. Springer, Berlin (2017)"},{"issue":"4","key":"716_CR22","doi-asserted-by":"publisher","first-page":"47:1","DOI":"10.1145\/3407183","volume":"4","author":"P. Jagtap","year":"2020","unstructured":"Jagtap, P., Abdi, F., Rungger, M., Zamani, M., Caccamo, M.: Software fault tolerance for cyber-physical systems via full system restart. ACM Trans. Cyber Phys. Syst. 4(4), 47:1\u201347:20 (2020)","journal-title":"ACM Trans. Cyber Phys. Syst."},{"key":"716_CR23","doi-asserted-by":"publisher","unstructured":"J\u00fcngermann, F.: Learning Algebraic Predicates for Explainable Controllers: Artifacts (2021). https:\/\/doi.org\/10.5281\/zenodo.4746131","DOI":"10.5281\/zenodo.4746131"},{"key":"716_CR24","first-page":"252","volume-title":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019","author":"M. Khaled","year":"2019","unstructured":"Khaled, M., Zamani, M.: pfaces: an acceleration ecosystem for symbolic control. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019, pp.\u00a0252\u2013257. ACM, New York (2019)"},{"key":"716_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings","author":"M.Z. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings, Snowbird, UT, USA, July 14-20, 2011, Lecture Notes in Computer Science, vol.\u00a06806, pp.\u00a0585\u2013591. Springer, Berlin (2011)"},{"key":"716_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-319-23506-6_17","volume-title":"Correct System Design - Symposium in Honor of Ernst-R\u00fcdiger Olderog on the Occasion of His 60th Birthday, Proceedings","author":"K.G. Larsen","year":"2015","unstructured":"Larsen, K.G., Mikucionis, M., Taankvist, J.H.: Safe and optimal adaptive cruise control. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Correct System Design - Symposium in Honor of Ernst-R\u00fcdiger Olderog on the Occasion of His 60th Birthday, Proceedings, Oldenburg, Germany, September 8-9, 2015, Lecture Notes in Computer Science, vol.\u00a09360, pp.\u00a0260\u2013277. Springer Berlin (2015)"},{"issue":"2","key":"716_CR27","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1090\/qam\/10666","volume":"2","author":"K. Levenberg","year":"1944","unstructured":"Levenberg, K.: A method for the solution of certain non-linear problems in least squares. Q. Appl. Math. 2(2), 164\u2013168 (1944)","journal-title":"Q. Appl. Math."},{"issue":"2","key":"716_CR28","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1137\/0111030","volume":"11","author":"D.W. Marquardt","year":"1963","unstructured":"Marquardt, D.W.: An algorithm for least-squares estimation of nonlinear parameters. J. Soc. Ind. Appl. Math. 11(2), 431\u2013441 (1963)","journal-title":"J. Soc. Ind. Appl. Math."},{"key":"716_CR29","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine Learning. McGraw-hill, New York (1997)"},{"key":"716_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.63","volume":"2","author":"S.K. Murthy","year":"1994","unstructured":"Murthy, S.K., Kasif, S., Salzberg, S.: A system for induction of oblique decision trees. J. Artif. Intell. Res. 2, 1\u201332 (1994)","journal-title":"J. Artif. Intell. Res."},{"key":"716_CR31","first-page":"2825","volume":"12","author":"F. Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., VanderPlas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: machine learning in python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"716_CR32","first-page":"233","volume-title":"Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics, HLT-NAACL 2004","author":"S.S. Pradhan","year":"2004","unstructured":"Pradhan, S.S., Ward, W.H., Hacioglu, K., Martin, J.H., Jurafsky, D.: Shallow semantic parsing using support vector machines. In: Hirschberg, J., Dumais, S.T., Marcu, D., Roukos, S. (eds.) Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics, HLT-NAACL 2004, Boston, Massachusetts, USA, May 2-7, 2004, pp.\u00a0233\u2013240. The Association for Computational Linguistics (2004)"},{"issue":"1","key":"716_CR33","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00116251","volume":"1","author":"J.R. Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"key":"716_CR34","volume-title":"C4.5: Programs for Machine Learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Morgan Kaufmann, San Mateo (1993)"},{"key":"716_CR35","first-page":"99","volume-title":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016","author":"M. Rungger","year":"2016","unstructured":"Rungger, M., Zamani, M.: SCOTS: a tool for the synthesis of symbolic controllers. In: Abate, A., Fainekos, G.E. (eds.) Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp.\u00a099\u2013104. ACM, New York (2016)"},{"key":"716_CR36","doi-asserted-by":"publisher","first-page":"6139","DOI":"10.1109\/CDC.2015.7403185","volume-title":"54th IEEE Conference on Decision and Control, CDC 2015","author":"M. Rungger","year":"2015","unstructured":"Rungger, M., Weber, A., Reissig, G.: State space grids for low complexity abstractions. In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp.\u00a06139\u20136146. IEEE Press, New York (2015)"},{"key":"716_CR37","first-page":"1089","volume-title":"Advances in Neural Information Processing Systems 13, Papers from Neural Information Processing Systems (NIPS) 2000","author":"R. St-Aubin","year":"2000","unstructured":"St-Aubin, R., Hoey, J., Boutilier, C.: APRICODD: approximate policy construction using decision diagrams. In: Leen, T.K., Dietterich, T.G., Tresp, V. (eds.) Advances in Neural Information Processing Systems 13, Papers from Neural Information Processing Systems (NIPS) 2000, Denver, CO, USA, pp.\u00a01089\u20131095. MIT Press Cambridge (2000)"},{"issue":"4","key":"716_CR38","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/LCSYS.2019.2920766","volume":"3","author":"A. Swikir","year":"2019","unstructured":"Swikir, A., Zamani, M.: Compositional synthesis of symbolic models for networks of switched systems. IEEE Control Syst. Lett. 3(4), 1056\u20131061 (2019)","journal-title":"IEEE Control Syst. Lett."},{"key":"716_CR39","unstructured":"Weinhuber, C.: Learning domain-specific predicates in decision trees for explainable controller representation. Bachelor\u2019s thesis, Technical University of Munich (2020)"},{"key":"716_CR40","series-title":"IFAC-PapersOnLine","first-page":"1","volume-title":"ADHS","author":"I.S. Zapreev","year":"2018","unstructured":"Zapreev, I.S., Verdier, C., Mazo, M. Jr.: Optimal symbolic controllers determinization for BDD storage. In: ADHS, IFAC-PapersOnLine, vol.\u00a051-16, pp.\u00a01\u20136. Elsevier, Amsterdam (2018)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00716-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00716-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00716-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T09:11:29Z","timestamp":1695114689000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00716-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["716"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00716-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2023,6]]},"assertion":[{"value":"6 July 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 August 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}