Artificial Intelligence
As artificial intelligence (AI) systems increasingly integrate into various aspects of daily life, the importance to ensure their …
@inproceedings{helferResponsibleAndTrustedAI2024,
author = {Thorsten Helfer and Kevin Baum and Andreas Sesing-Wagenpfeil and Eva Schmidt and Markus Langer},
booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
doi = {10.1007/978-3-031-75434-0_3},
edition = {1},
editor = {Bernhard Steffen},
isbn = {978-3-031-75433-3},
month = {12},
pages = {35-39},
publisher = {Springer, Cham},
series = {Lecture Notes in Computer Science, LNCS},
title = {Responsible and Trusted AI: An Interdisciplinary Perspective},
volume = {15217},
year = {2024}
}
The demand for transparency aims for greater clarity, especially in complex regulatory and technical environments. However, it often …
@inproceedings{baumTransparentTransparencyDevelopingA2024,
author = {Deborah Baum and Kevin Baum and Sasha Zamani and Christian Bennoit and Dirk Werth},
booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
doi = {10.1007/978-3-031-75434-0_5},
edition = {1},
editor = {Bernhard Steffen},
isbn = {978-3-031-75433-3},
month = {12},
pages = {55-73},
publisher = {Springer, Cham},
series = {Lecture Notes in Computer Science, LNCS},
title = {Transparent Transparency Developing a Scheme for Understanding Transparency Requirements},
volume = {15217},
year = {2024}
}
This invited paper reviews a framework to assist in mitigating societal risks that software can pose. This is to promote effective …
@inproceedings{baumTamingTheAIMonster2024,
author = {Kevin Baum and Biewer Sebastian and Hermanns Holger and Hetmank Sven and Langer Markus and Lauber-Rönsberg Anne and Sterz Sarah},
booktitle = {Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg},
doi = {10.1007/978-3-031-66149-5_1},
editor = {Thomas Neele and Anton Wijs},
month = {10},
pages = {3-25},
publisher = {Springer Nature, Switzerland},
series = {Lecture Notes in Computer Science, LNCS},
title = {Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight},
volume = {14624},
year = {2024}
}
This article introduces a framework that is meant to assist in mitigating societal risks that software can pose. Concretely, this …
PDF
DOI
URL
@article{biewerSoftwareDopingAnalysisFor2024,
author = {Sebastian Biewer and Kevin Baum and Sarah Sterz and Holger Hermanns and Sven Hetmank and Markus Langer and Anne Lauber-Rönsberg and Franz Lehr},
doi = {10.1007/s10703-024-00445-2},
journal = {Formal Methods in System Design},
month = {4},
pages = {1-50},
publisher = {Springer},
title = {Software doping analysis for human oversight},
url = {https://link.springer.com/article/10.1007/s10703-024-00445-2#Abs1},
volume = {62},
year = {2024}
}