{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:32:52Z","timestamp":1767339172293,"version":"3.40.3"},"publisher-location":"Cham","reference-count":88,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031661488"},{"type":"electronic","value":"9783031661495"}],"license":[{"start":{"date-parts":[[2024,10,13]],"date-time":"2024-10-13T00:00:00Z","timestamp":1728777600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,13]],"date-time":"2024-10-13T00:00:00Z","timestamp":1728777600000},"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-66149-5_1","type":"book-chapter","created":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T07:01:54Z","timestamp":1728716514000},"page":"3-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Baum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Biewer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Hetmank","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Langer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Lauber-R\u00f6nsberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarah","family":"Sterz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,13]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Abbas, H., Fainekos, G.E., Sankaranarayanan, S., Ivancic, F., Gupta, A.: Probabilistic temporal logic falsification of cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(2s), 95:1\u201395:30 (2013). https:\/\/doi.org\/10.1145\/2465787.2465797","DOI":"10.1145\/2465787.2465797"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Alves, W.M., Rossi, P.H.: Who should get what? fairness judgments of the distribution of earnings. American journal of Sociology 84(3), 541\u2013564 (1978)","DOI":"10.1086\/226826"},{"key":"1_CR3","unstructured":"Angwin, J., Larson, J., Mattu, S., Kirchner, L.: Machine Bias (2016), https:\/\/www.propublica.org\/article\/machine-bias-risk-assessments-in-criminal-sentencing"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Arrieta, A.B., D\u00edaz-Rodr\u00edguez, N., Del\u00a0Ser, J., Bennetot, A., Tabik, S., Barbado, A., Garc\u00eda, S., Gil-L\u00f3pez, S., Molina, D., Benjamins, R., et\u00a0al.: Explainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI. Information Fusion 58, 82\u2013115 (2020)","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"1_CR5","unstructured":"Artistotle: The Nicomachean Ethics. Oxford worlds classics, Oxford University Press, Oxford (1998), translation by W.D. Ross. Edition by John L. Ackrill, and James O. Urmson"},{"key":"1_CR6","unstructured":"Artistotle: Politics. Oxford worlds classics, Oxford University Press, Oxford (1998), translation by Ernest Barker. Edition by R. F. Stalley"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Barocas, S., Selbst, A.D.: Big data\u2019s disparate impact. Calif. L. Rev. 104, \u00a0671 (2016)","DOI":"10.2139\/ssrn.2477899"},{"key":"1_CR8","unstructured":"Bathaee, Y.: The artificial intelligence black box and the failure of intent and causation. Harv. JL & Tech. 31, \u00a0889 (2017)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Baum, D., Baum, K., Gros, T.P., Wolf, V.: XAI Requirements in Smart Production Processes: A Case Study. In: World Conference on Explainable Artificial Intelligence. pp. 3\u201324. Springer (2023)","DOI":"10.1007\/978-3-031-44064-9_1"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Baum, K., Mantel, S., Schmidt, E., Speith, T.: From responsibility to reason-giving explainable artificial intelligence. Philosophy & Technology 35(1), \u00a012 (2022). https:\/\/doi.org\/10.1007\/s13347-022-00510-w","DOI":"10.1007\/s13347-022-00510-w"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Biewer, S.: Software Doping \u2013 Theory and Detection. Phd thesis, Universit\u00e4t des Saarlandes (2023). https:\/\/doi.org\/10.22028\/D291-40364","DOI":"10.22028\/D291-40364"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Biewer, S., Baum, K., Sterz, S., Hermanns, H., Hetmank, S., Langer, M., Lauber-R\u00f6nsberg, A., Lehr, F.: Software doping analysis for\u00a0human\u00a0oversight. Formal Methods in System Design (2024). https:\/\/doi.org\/10.1007\/s10703-024-00445-2, to appear; preprint available at https:\/\/arxiv.org\/abs\/2308.06186","DOI":"10.1007\/s10703-024-00445-2"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Biewer, S., D\u2019Argenio, P.R., Hermanns, H.: Doping tests for cyber-physical systems. ACM Trans. Model. Comput. Simul. 31(3), 16:1\u201316:27 (2021). https:\/\/doi.org\/10.1145\/3449354","DOI":"10.1145\/3449354"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2), 205\u2013218 (2023). https:\/\/doi.org\/10.1007\/s10009-022-00689-5","DOI":"10.1007\/s10009-022-00689-5"},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Biewer, S., Hermanns, H.: On the detection of doped software by falsification. In: Johnsen, E.B., Wimmer, M. (eds.) Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13241, pp. 71\u201391. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_4","DOI":"10.1007\/978-3-030-99429-7_4"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Binns, R.: On the apparent conflict between individual and group fairness. In: Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency. p. 514-524. FAT* \u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3351095.3372864","DOI":"10.1145\/3351095.3372864"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T.A., Hofferek, G., Jobstmann, B., K\u00f6nighofer, B., K\u00f6nighofer, R.: Synthesizing robust systems. Acta Informatica 51(3-4), 193\u2013220 (2014). https:\/\/doi.org\/10.1007\/s00236-013-0191-5","DOI":"10.1007\/s00236-013-0191-5"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Borgesius, F.J.Z.: Strengthening legal protection against discrimination by algorithms and artificial intelligence. The International Journal of Human Rights 24(10), 1572\u20131593 (2020). https:\/\/doi.org\/10.1080\/13642987.2020.1743976","DOI":"10.1080\/13642987.2020.1743976"},{"key":"1_CR19","unstructured":"Burke, L.: The Death and Life of an Admissions Algorithm (2020), https:\/\/www.insidehighered.com\/admissions\/article\/2020\/12\/14\/u-texas-will-stop-using-controversial-algorithm-evaluate-phd"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Chazette, L., Brunotte, W., Speith, T.: Exploring explainability: A definition, a model, and a knowledge catalogue. In: 2021 IEEE 29th International Requirements Engineering Conference (RE). pp. 197\u2013208 (2021). https:\/\/doi.org\/10.1109\/RE51729.2021.00025","DOI":"10.1109\/RE51729.2021.00025"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Chouldechova, A.: Fair prediction with disparate impact: A study of bias in recidivism prediction instruments. Big Data 5(2), 153\u2013163 (2017). https:\/\/doi.org\/10.1089\/big.2016.0047","DOI":"10.1089\/big.2016.0047"},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Barthe, G., Biewer, S., Finkbeiner, B., Hermanns, H.: Is your software on dope? - formal analysis of surreptitiously \u201cenhanced\u201d programs. In: Yang, H. (ed.) Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10201, pp. 83\u2013110. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54434-1_4","DOI":"10.1007\/978-3-662-54434-1_4"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Dressel, J., Farid, H.: The accuracy, fairness, and limits of predicting recidivism. Science advances 4(1), eaao5580 (2018)","DOI":"10.1126\/sciadv.aao5580"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Dwork, C., Hardt, M., Pitassi, T., Reingold, O., Zemel, R.: Fairness through awareness. In: Proceedings of the 3rd innovations in theoretical computer science conference. pp. 214\u2013226 (2012)","DOI":"10.1145\/2090236.2090255"},{"key":"1_CR25","unstructured":"Dworkin, R.: What is equality? part 2: Equality of resources. Philosophy & Public Affairs 10(4), 283\u2013345 (1981), http:\/\/www.jstor.org\/stable\/2265047"},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Endsley, M.R.: Toward a theory of situation awareness in dynamic systems. Human Factors 37(1), 32\u201364 (1995). https:\/\/doi.org\/10.1518\/001872095779049543","DOI":"10.1518\/001872095779049543"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Endsley, M.R.: From here to autonomy: Lessons learned from human-automation research. Human Factors 59(1), 5\u201327 (2017). https:\/\/doi.org\/10.1177\/0018720816681350, pMID: 28146676","DOI":"10.1177\/0018720816681350"},{"key":"1_CR28","unstructured":"European Court of Justice: C-356\/12 - glatzel ecli:eu:c:2014:350 (2014), https:\/\/curia.europa.eu\/juris\/liste.jsf?language=en&num=C-356\/12"},{"key":"1_CR29","unstructured":"European Union: Regulation laying down harmonised rules on Artificial Intelligence (Artificial Intelligence Act), provisional version that has been adopted by the European Parliament on 13 March 2024 (2024), https:\/\/www.europarl.europa.eu\/doceo\/document\/TA-9-2024-0138_EN.pdf"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Ferrer, X., Nuenen, T.v., Such, J.M., Cot\u00e9, M., Criado, N.: Bias and discrimination in AI: A cross-disciplinary perspective. IEEE Technology and Society Magazine 40(2), 72\u201380 (2021). https:\/\/doi.org\/10.1109\/MTS.2021.3056293","DOI":"10.1109\/MTS.2021.3056293"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Friedler, S.A., Scheidegger, C., Venkatasubramanian, S.: The (im)possibility of fairness: Different value systems require different mechanisms for fair decision making. Commun. ACM 64(4), 136-143 (mar 2021). https:\/\/doi.org\/10.1145\/3433949","DOI":"10.1145\/3433949"},{"key":"1_CR32","unstructured":"Gunning, D.: Explainable artificial intelligence (XAI) (darpa-baa-16-53). Tech. rep., Arlington, VA, USA (2016)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Guryan, J., Charles, K.K.: Taste-based or statistical discrimination: The economics of discrimination returns to its roots. The Economic Journal 123(572), F417\u2013F432 (2013), http:\/\/www.jstor.org\/stable\/42919257","DOI":"10.1111\/ecoj.12080"},{"key":"1_CR34","unstructured":"Hartmann, F.: Diskriminierung durch Antidiskriminierungsrecht? M\u00f6glichkeiten und Grenzen eines postkategorialen Diskriminierungsschutzes in der Europ\u00e4ischen Union. EuZA - Europ\u00e4ische Zeitschrift f\u00fcr Arbeitsrecht p.\u00a024 (2006)"},{"key":"1_CR35","unstructured":"Heaven, W.D.: Predictive policing algorithms are racist. They need to be dismantled. (2020), https:\/\/www.technologyreview.com\/2020\/07\/17\/1005396\/predictive-policing-algorithms-racist-dismantled-machine-learning-bias-criminal-justice\/"},{"key":"1_CR36","unstructured":"High-Level Expert Group on Artificial Intelligence: Ethics Guidelines for Trustworthy AI (2019), https:\/\/digital-strategy.ec.europa.eu\/en\/library\/ethics-guidelines-trustworthy-ai"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Hough, L.M., Oswald, F.L., Ployhart, R.E.: Determinants, detection and amelioration of adverse impact in personnel selection procedures: Issues, evidence and lessons learned. International Journal of Selection and Assessment 9(1-2), 152\u2013194 (2001)","DOI":"10.1111\/1468-2389.00171"},{"key":"1_CR38","unstructured":"Ilvento, C.: Metric learning for individual fairness. arXiv preprint arXiv:1906.00250 (2019)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Jacovi, A., Marasovi\u0107, A., Miller, T., Goldberg, Y.: Formalizing trust in artificial intelligence: Prerequisites, causes and goals of human trust in AI. In: Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency. pp. 624\u2013635 (2021)","DOI":"10.1145\/3442188.3445923"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Jewson, N., Mason, D.: Modes of discrimination in the recruitment process: formalisation, fairness and efficiency. Sociology 20(1), 43\u201363 (1986)","DOI":"10.1177\/0038038586020001005"},{"key":"1_CR41","unstructured":"John, P.G., Vijaykeerthy, D., Saha, D.: Verifying individual fairness in machine learning models. In: Adams, R.P., Gogate, V. (eds.) Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2020, virtual online, August 3-6, 2020. Proceedings of Machine Learning Research, vol.\u00a0124, pp. 749\u2013758. AUAI Press (2020), http:\/\/proceedings.mlr.press\/v124\/george-john20a.html"},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, L., Langer, M., Lazar, V., Schom\u00e4cker, A., Speith, T., Sterz, S.: On the relation of trust and explainability: Why to engineer for trustworthiness. In: Yue, T., Mirakhorli, M. (eds.) 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pp. 169\u2013175. IEEE (2021). https:\/\/doi.org\/10.1109\/REW53955.2021.00031","DOI":"10.1109\/REW53955.2021.00031"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Lai, V., Tan, C.: On human predictions with explanations and predictions of machine learning models: A case study on deception detection. In: Proceedings of the conference on fairness, accountability, and transparency. pp. 29\u201338 (2019)","DOI":"10.1145\/3287560.3287590"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Langer, M., Baum, K., Hartmann, K., Hessel, S., Speith, T., Wahl, J.: Explainability auditing for intelligent systems: A rationale for multi-disciplinary perspectives. In: Yue, T., Mirakhorli, M. (eds.) 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pp. 164\u2013168. IEEE (2021). https:\/\/doi.org\/10.1109\/REW53955.2021.00030","DOI":"10.1109\/REW53955.2021.00030"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"Langer, M., Baum, K., Schlicker, N.: Effective human oversight of ai-based systems: A signal detection perspective on the detection of inaccurate and unfair outputs (2023). https:\/\/doi.org\/10.31234\/osf.io\/ke256","DOI":"10.31234\/osf.io\/ke256"},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"Langer, M., Oster, D., Speith, T., Hermanns, H., K\u00e4stner, L., Schmidt, E., Sesing, A., Baum, K.: What do we want from explainable artificial intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296, 103473 (2021). https:\/\/doi.org\/10.1016\/j.artint.2021.103473","DOI":"10.1016\/j.artint.2021.103473"},{"key":"1_CR47","unstructured":"Larson, J., Mattu, S., Kirchner, L., Angwin, J.: How We Analyzed the COMPAS Recidivism Algorithm (2016), https:\/\/www.propublica.org\/article\/how-we-analyzed-the-compas-recidivism-algorithm"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Lee, J.D., See, K.A.: Trust in automation: Designing for appropriate reliance. Human factors 46(1), 50\u201380 (2004)","DOI":"10.1518\/hfes.46.1.50.30392"},{"key":"1_CR49","doi-asserted-by":"publisher","unstructured":"Linardatos, P., Papastefanopoulos, V., Kotsiantis, S.: Explainable AI: A review of machine learning interpretability methods. Entropy 23(1) (2021). https:\/\/doi.org\/10.3390\/e23010018","DOI":"10.3390\/e23010018"},{"key":"1_CR50","doi-asserted-by":"publisher","unstructured":"Matthias, A.: The responsibility gap: Ascribing responsibility for the actions of learning automata. Ethics and Information Technology 6(3), 175\u2013183 (2004). https:\/\/doi.org\/10.1007\/s10676-004-3422-1","DOI":"10.1007\/s10676-004-3422-1"},{"key":"1_CR51","doi-asserted-by":"publisher","unstructured":"Mecacci, G., de\u00a0Sio, F.S.: Meaningful human control as reason-responsiveness: The case of dual-mode vehicles. Ethics and Information Technology 22(2), 103\u2013115 (2020). https:\/\/doi.org\/10.1007\/s10676-019-09519-w","DOI":"10.1007\/s10676-019-09519-w"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Mehrabi, N., Morstatter, F., Saxena, N., Lerman, K., Galstyan, A.: A survey on bias and fairness in machine learning. ACM Computing Surveys (CSUR) 54(6), 1\u201335 (2021)","DOI":"10.1145\/3457607"},{"key":"1_CR53","doi-asserted-by":"publisher","unstructured":"Methnani, L., Aler\u00a0Tubella, A., Dignum, V., Theodorou, A.: Let me take over: Variable autonomy for meaningful human control. Frontiers in Artificial Intelligence 4 (2021). https:\/\/doi.org\/10.3389\/frai.2021.737072, https:\/\/www.frontiersin.org\/article\/10.3389\/frai.2021.737072","DOI":"10.3389\/frai.2021.737072"},{"key":"1_CR54","unstructured":"Meurrens, S.: The Increasing Role of AI in Visa Processing (2021), https:\/\/canadianimmigrant.ca\/immigrate\/immigration-law\/the-increasing-role-of-ai-in-visa-processing"},{"key":"1_CR55","doi-asserted-by":"publisher","unstructured":"Mittelstadt, B.D., Allo, P., Taddeo, M., Wachter, S., Floridi, L.: The ethics of algorithms: Mapping the debate. Big Data & Society 3(2), 2053951716679679 (2016). https:\/\/doi.org\/10.1177\/2053951716679679","DOI":"10.1177\/2053951716679679"},{"key":"1_CR56","doi-asserted-by":"publisher","unstructured":"Molnar, C., Casalicchio, G., Bischl, B.: Interpretable machine learning - A brief history, state-of-the-art and challenges. In: Koprinska, I., Kamp, M., Appice, A., Loglisci, C., Antonie, L., Zimmermann, A., Guidotti, R., \u00d6zg\u00f6bek, \u00d6., Ribeiro, R.P., Gavald\u00e0, R., Gama, J., Adilova, L., Krishnamurthy, Y., Ferreira, P.M., Malerba, D., Medeiros, I., Ceci, M., Manco, G., Masciari, E., Ras, Z.W., Christen, P., Ntoutsi, E., Schubert, E., Zimek, A., Monreale, A., Biecek, P., Rinzivillo, S., Kille, B., Lommatzsch, A., Gulla, J.A. (eds.) ECML PKDD 2020 Workshops - Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2020): SoGood 2020, PDFL 2020, MLCS 2020, NFMCP 2020, DINA 2020, EDML 2020, XKDD 2020 and INRA 2020, Ghent, Belgium, September 14-18, 2020, Proceedings. Communications in Computer and Information Science, vol.\u00a01323, pp. 417\u2013431. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-65965-3_28","DOI":"10.1007\/978-3-030-65965-3_28"},{"key":"1_CR57","unstructured":"Mukherjee, D., Yurochkin, M., Banerjee, M., Sun, Y.: Two simple ways to learn individual fairness metrics from data. In: III, H.D., Singh, A. (eds.) Proceedings of the 37th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0119, pp. 7097\u20137107. PMLR (13\u201318 Jul 2020), https:\/\/proceedings.mlr.press\/v119\/mukherjee20a.html"},{"key":"1_CR58","unstructured":"Noorman, M.: Computing and Moral Responsibility. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2020 edn. (2020)"},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"Nunes, I., Jannach, D.: A systematic review and taxonomy of explanations in decision support and recommender systems. User Modeling and User-Adapted Interaction 27(3), 393\u2013444 (2017)","DOI":"10.1007\/s11257-017-9195-0"},{"key":"1_CR60","unstructured":"O\u2019Neil, C.: How algorithms rule our working lives (2016), https:\/\/www.theguardian.com\/science\/2016\/sep\/01\/how-algorithms-rule-our-working-lives, Online; accessed: 2023-06-23"},{"key":"1_CR61","unstructured":"O\u2019Neil, C.: Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy. Crown Publishing Group, USA (2016)"},{"key":"1_CR62","unstructured":"Orcale: AI in human resources: The time is now (2019), https:\/\/www.oracle.com\/a\/ocom\/docs\/applications\/hcm\/oracle-ai-in-hr-wp.pdf"},{"key":"1_CR63","unstructured":"Organisation for Economic Co-operation and Development (OECD): Artificial intelligence, machine learning and big data in finance: Opportunities, challenges and implications for policy makers. Tech. rep., [Par\u00eds] : (2021), https:\/\/www.oecd.org\/finance\/financial-markets\/Artificial-intelligence-machine-learning-big-data-in-finance.pdf"},{"key":"1_CR64","doi-asserted-by":"publisher","unstructured":"Pessach, D., Shmueli, E.: A review on fairness in machine learning. ACM Comput. Surv. 55(3) (feb 2022). https:\/\/doi.org\/10.1145\/3494672","DOI":"10.1145\/3494672"},{"key":"1_CR65","unstructured":"Rawls, J.: Justice as fairness: Political not metaphysical. Philosophy & Public Affairs 14(3), 223\u2013251 (1985), http:\/\/www.jstor.org\/stable\/2265349"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Rawls, J.: A theory of justice: Revised edition. Harvard university press (1999)","DOI":"10.4159\/9780674042582"},{"key":"1_CR67","doi-asserted-by":"crossref","unstructured":"Rawls, J.: Justice as fairness: A restatement. Harvard University Press (2001)","DOI":"10.2307\/j.ctv31xf5v0"},{"key":"1_CR68","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: Model-agnostic interpretability of machine learning. CoRR abs\/1606.05386 (2016), http:\/\/arxiv.org\/abs\/1606.05386"},{"key":"1_CR69","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: \u201cWhy should I trust you?\u201d: Explaining the predictions of any classifier. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 1135-1144. KDD \u201916, Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2939672.2939778","DOI":"10.1145\/2939672.2939778"},{"key":"1_CR70","doi-asserted-by":"publisher","unstructured":"Rowe, T.: Can a risk of harm itself be a harm? Analysis 81(4), 694\u2013701 (2022). https:\/\/doi.org\/10.1093\/analys\/anab033","DOI":"10.1093\/analys\/anab033"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Sanneman, L., Shah, J.A.: A situation awareness-based framework for design and evaluation of explainable AI. In: International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems. pp. 94\u2013110. Springer (2020)","DOI":"10.1007\/978-3-030-51924-7_6"},{"key":"1_CR72","doi-asserted-by":"crossref","unstructured":"Schlicker, N., Langer, M.: Towards warranted trust: A model on the relation between actual and perceived system trustworthiness. In: Mensch und Computer 2021, pp. 325\u2013329 (2021)","DOI":"10.1145\/3473856.3474018"},{"key":"1_CR73","doi-asserted-by":"publisher","unstructured":"Schlicker, N., Langer, M., \u00d6tting, S.K., Baum, K., K\u00f6nig, C.J., Wallach, D.: What to expect from opening up \u2019black boxes\u2019? comparing perceptions of justice between human and automated agents. Comput. Hum. Behav. 122, 106837 (2021). https:\/\/doi.org\/10.1016\/j.chb.2021.106837","DOI":"10.1016\/j.chb.2021.106837"},{"key":"1_CR74","doi-asserted-by":"publisher","unstructured":"Schlicker, N., Uhde, A., Baum, K., Hirsch, M., Langer, M.: Calibrated trust as a result of accurate trustworthiness assessment \u2013 introducing the trustworthiness assessment model. PsyArXiv Preprints (2022). https:\/\/doi.org\/10.31234\/osf.io\/qhwvx","DOI":"10.31234\/osf.io\/qhwvx"},{"key":"1_CR75","doi-asserted-by":"publisher","unstructured":"Santoni\u00a0de Sio, F., van\u00a0den Hoven, J.: Meaningful human control over autonomous systems: A philosophical account. Frontiers in Robotics and AI 5 (2018). https:\/\/doi.org\/10.3389\/frobt.2018.00015, https:\/\/www.frontiersin.org\/article\/10.3389\/frobt.2018.00015","DOI":"10.3389\/frobt.2018.00015"},{"key":"1_CR76","unstructured":"Smith, E., Vogell, H.: How Your Shadow Credit Score Could Decide Whether You Get an Apartment (2021), https:\/\/www.propublica.org\/article\/how-your-shadow-credit-score-could-decide-whether-you-get-an-apartment, Online; accessed: 2023-06-23"},{"key":"1_CR77","doi-asserted-by":"publisher","unstructured":"Speith, T.: A review of taxonomies of explainable artificial intelligence (XAI) methods. In: 2022 ACM Conference on Fairness, Accountability, and Transparency. p. 2239-2250. FAccT \u201922, Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3531146.3534639","DOI":"10.1145\/3531146.3534639"},{"key":"1_CR78","doi-asserted-by":"publisher","unstructured":"Sterz, S., Baum, K., Lauber-R\u00f6nsberg, A., Hermanns, H.: Towards perspicuity requirements. In: Yue, T., Mirakhorli, M. (eds.) 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pp. 159\u2013163. IEEE (2021). https:\/\/doi.org\/10.1109\/REW53955.2021.00029","DOI":"10.1109\/REW53955.2021.00029"},{"key":"1_CR79","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Balkan, A., Caliskan, S.Y., Shoukry, Y., Majumdar, R.: Input-output robustness for discrete systems. In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. pp. 217\u2013226. ACM (2012), http:\/\/doi.acm.org\/10.1145\/2380356.2380396","DOI":"10.1145\/2380356.2380396"},{"key":"1_CR80","unstructured":"Talbert, M.: Moral Responsibility. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Winter 2019 edn. (2019)"},{"key":"1_CR81","doi-asserted-by":"crossref","unstructured":"Th\u00fcsing, G.: European Labour Law, \u00a7\u00a03 Protection against discrimination. C.H. Beck (2013)","DOI":"10.5771\/9783845259086-60"},{"key":"1_CR82","unstructured":"United Nations Educational, Scientific and Cultural Organization (UNESCO): Recommendation on the ethics of artificial intelligence (2021), https:\/\/unesdoc.unesco.org\/ark:\/48223\/pf0000380455"},{"key":"1_CR83","doi-asserted-by":"publisher","unstructured":"Wachter, S., Mittelstadt, B., Russell, C.: Bias preservation in machine learning: the legality of fairness metrics under eu non-discrimination law. W. Va. L. Rev. 123, \u00a0735 (2020). https:\/\/doi.org\/10.2139\/ssrn.3792772","DOI":"10.2139\/ssrn.3792772"},{"key":"1_CR84","unstructured":"Washington State: Certification of Enrollment: Engrossed Substitute Senate Bill 6280 (\u2019Washington State Facial Recognition Law\u2019) (2020), https:\/\/lawfilesext.leg.wa.gov\/biennium\/2019-20\/Pdf\/Bills\/Senate%20Passed%20Legislature\/6280-S.PL.pdf?q=20210513071229"},{"key":"1_CR85","doi-asserted-by":"publisher","unstructured":"Waters, A., Miikkulainen, R.: Grade: Machine learning support for graduate admissions. AI Magazine 35(1), \u00a064 ( 2014). https:\/\/doi.org\/10.1609\/aimag.v35i1.2504, https:\/\/ojs.aaai.org\/index.php\/aimagazine\/article\/view\/2504","DOI":"10.1609\/aimag.v35i1.2504"},{"key":"1_CR86","unstructured":"Zehlike, M., Yang, K., Stoyanovich, J.: Fairness in ranking: A survey. CoRR abs\/2103.14000 (2021), https:\/\/arxiv.org\/abs\/2103.14000"},{"key":"1_CR87","unstructured":"Zemel, R., Wu, Y., Swersky, K., Pitassi, T., Dwork, C.: Learning fair representations. In: International conference on machine learning. pp. 325\u2013333. PMLR (2013)"},{"key":"1_CR88","doi-asserted-by":"crossref","unstructured":"Ziegert, J.C., Hanges, P.J.: Employment discrimination: the role of implicit attitudes, motivation, and a climate for racial bias. Journal of applied psychology 90(3), \u00a0553 (2005)","DOI":"10.1037\/0021-9010.90.3.553"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66149-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T07:02:50Z","timestamp":1728716570000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66149-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,13]]},"ISBN":["9783031661488","9783031661495"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66149-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,13]]},"assertion":[{"value":"13 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model Checking Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","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":"10 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spin2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/spin-web.github.io\/SPIN2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}