Software doping analysis for human oversight

S Biewer, K Baum, S Sterz, H Hermanns… - Formal Methods in …, 2024 - Springer
This article introduces a framework that is meant to assist in mitigating societal risks that
software can pose. Concretely, this encompasses facets of software doping as well as …

On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives

S Sterz, K Baum, S Biewer, H Hermanns… - The 2024 ACM …, 2024 - dl.acm.org
Human oversight is currently discussed as a potential safeguard to counter some of the
negative aspects of high-risk AI applications. This prompts a critical examination of the role …

[PDF][PDF] Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight

K Baum, S Biewer, H Hermanns, S Hetmank, M Langer… - spin-web.github.io
This invited paper reviews a framework to assist in mitigating societal risks that software can
pose. This is to promote effective human oversight, which is a central requirement enforced …