{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:25:52Z","timestamp":1743056752045,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737503"},{"type":"electronic","value":"9783031737510"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73751-0_11","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"135-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models"],"prefix":"10.1007","author":[{"given":"Alnis","family":"Murtovi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5100-7259","authenticated-orcid":false,"given":"Maximilian","family":"Schl\u00fcter","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) Hybrid Systems III: Verification and Control, Proceedings of the DIMACS\/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science, vol.\u00a01066, pp. 232\u2013243. Springer (1995). https:\/\/doi.org\/10.1007\/BFB0020949, https:\/\/doi.org\/10.1007\/BFb0020949","DOI":"10.1007\/BFB0020949"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL in 1995. In: Margaria, T., Steffen, B. (eds.) Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS \u201996, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science, vol.\u00a01055, pp. 431\u2013434. Springer (1996). https:\/\/doi.org\/10.1007\/3-540-61042-1_66, https:\/\/doi.org\/10.1007\/3-540-61042-1_66","DOI":"10.1007\/3-540-61042-1_66"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Borisov, V., Leemann, T., Se\u00dfler, K., Haug, J., Pawelczyk, M., Kasneci, G.: Deep neural networks and tabular data: A survey. IEEE Transactions on Neural Networks and Learning Systems pp. 1\u201321 (2022). https:\/\/doi.org\/10.1109\/TNNLS.2022.3229161","DOI":"10.1109\/TNNLS.2022.3229161"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Computer Aided Verification: 10th International Conference, CAV\u201998 Vancouver, BC, Canada, June 28\u2013July 2, 1998 Proceedings 10. pp. 546\u2013550. Springer (1998)","DOI":"10.1007\/BFb0028779"},{"key":"11_CR5","unstructured":"Breiman, L.: Classification and regression trees. The Wadsworth & Brooks\/Cole (1984)"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010933404324","volume":"45","author":"L Breiman","year":"2001","unstructured":"Breiman, L.: Random forests. Mach. Learn. 45(1), 5\u201332 (2001). https:\/\/doi.org\/10.1023\/A:1010933404324","journal-title":"Mach. Learn."},{"issue":"8","key":"11_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"100","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 100(8), 677\u2013691 (1986). https:\/\/doi.org\/10.1109\/TC.1986.1676819","journal-title":"IEEE Trans. Comput."},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Chen, T., Guestrin, C.: Xgboost: A scalable tree boosting system. In: Krishnapuram, B., Shah, M., Smola, A.J., Aggarwal, C.C., Shen, D., Rastogi, R. (eds.) Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13-17, 2016. pp. 785\u2013794. ACM (2016). https:\/\/doi.org\/10.1145\/2939672.2939785, https:\/\/doi.org\/10.1145\/2939672.2939785","DOI":"10.1145\/2939672.2939785"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Cutler, A., Cutler, D.R., Stevens, J.R.: Random forests. Ensemble machine learning: Methods and applications pp. 157\u2013175 (2012)","DOI":"10.1007\/978-1-4419-9326-7_5"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Friedman, J.H.: Greedy function approximation: a gradient boosting machine. Annals of statistics pp. 1189\u20131232 (2001)","DOI":"10.1214\/aos\/1013203451"},{"key":"11_CR11","unstructured":"Gossen, F., Murtovi, A., Zweihoff, P., Steffen, B.: Add-lib: Decision diagrams in practice. CoRR abs\/1912.11308 (2019), http:\/\/arxiv.org\/abs\/1912.11308"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Gossen, F., Steffen, B.: Algebraic aggregation of random forests: towards explainability and rapid evaluation. International Journal on Software Tools for Technology Transfer pp. 1\u201319 (2021)","DOI":"10.1007\/s10009-021-00635-x"},{"key":"11_CR13","unstructured":"Grinsztajn, L., Oyallon, E., Varoquaux, G.: Why do tree-based models still outperform deep learning on typical tabular data? In: NeurIPS (2022), http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/0378c7692da36807bdec87ab043cdadc-Abstract-Datasets_and_Benchmarks.html"},{"issue":"5","key":"11_CR14","doi-asserted-by":"publisher","first-page":"93:1","DOI":"10.1145\/3236009","volume":"51","author":"R Guidotti","year":"2019","unstructured":"Guidotti, R., Monreale, A., Ruggieri, S., Turini, F., Giannotti, F., Pedreschi, D.: A survey of methods for explaining black box models. ACM Comput. Surv. 51(5), 93:1-93:42 (2019). https:\/\/doi.org\/10.1145\/3236009","journal-title":"ACM Comput. Surv."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Hytech: A model checker for hybrid systems. In: Computer Aided Verification: 9th International Conference, CAV\u201997 Haifa, Israel, June 22\u201325, 1997 Proceedings 9. pp. 460\u2013463. Springer (1997)","DOI":"10.1007\/3-540-63166-6_48"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Ho, T.K.: Random decision forests. In: Proceedings of 3rd international conference on document analysis and recognition. 1, 278\u2013282. IEEE (1995)","DOI":"10.1109\/ICDAR.1995.598994"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Huang, X., Izza, Y., Ignatiev, A., Silva, J.M.: On efficiently explaining graph-based classifiers. In: 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) (2021)","DOI":"10.24963\/kr.2021\/34"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Izza, Y., Ignatiev, A., Stuckey, P.J., Marques-Silva, J.: Delivering inflated explanations. CoRR abs\/2306.15272 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2306.15272","DOI":"10.48550\/ARXIV.2306.15272"},{"issue":"1\u20132","key":"11_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/S100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/S100090050010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR20","unstructured":"Lundberg, S.M., Lee, S.: A unified approach to interpreting model predictions. In: Guyon, I., von Luxburg, U., Bengio, S., Wallach, H.M., Fergus, R., Vishwanathan, S.V.N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA. pp. 4765\u20134774 (2017), https:\/\/proceedings.neurips.cc\/paper\/2017\/hash\/8a20a8621978632d76c43dfd28b67767-Abstract.html"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/S10009-023-00702-5","volume":"25","author":"A Murtovi","year":"2023","unstructured":"Murtovi, A., Bainczyk, A., Nolte, G., Schl\u00fcter, M., Steffen, B.: Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25(3), 287\u2013299 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00702-5","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: \"why should I trust you?\": Explaining the predictions of any classifier. In: Krishnapuram, B., Shah, M., Smola, A.J., Aggarwal, C.C., Shen, D., Rastogi, R. (eds.) Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13-17, 2016. pp. 1135\u20131144. ACM (2016). https:\/\/doi.org\/10.1145\/2939672.2939778, https:\/\/doi.org\/10.1145\/2939672.2939778","DOI":"10.1145\/2939672.2939778"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/J.INFFUS.2021.11.011","volume":"81","author":"R Shwartz-Ziv","year":"2022","unstructured":"Shwartz-Ziv, R., Armon, A.: Tabular data: Deep learning is not all you need. Inf. Fusion 81, 84\u201390 (2022). https:\/\/doi.org\/10.1016\/J.INFFUS.2021.11.011","journal-title":"Inf. Fusion"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic verification of real-time communicating systems by constraint-solving. In: Hogrefe, D., Leue, S. (eds.) Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings, vol.\u00a06, pp. 243\u2013258. Chapman & Hall (1994)","DOI":"10.1007\/978-0-387-34878-0_18"}],"container-title":["Lecture Notes in Computer Science","Real Time and Such"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73751-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:03:14Z","timestamp":1729638194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73751-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031737503","9783031737510"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73751-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}