Kevin Baum 0001, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz. Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. In Thomas Neele, Anton Wijs, editors, Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Volume 14624 of Lecture Notes in Computer Science, pages 3-25, Springer, 2024. [doi]
@inproceedings{BaumBHHLLS24, title = {Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight}, author = {Kevin Baum 0001 and Sebastian Biewer and Holger Hermanns and Sven Hetmank and Markus Langer and Anne Lauber-Rönsberg and Sarah Sterz}, year = {2024}, doi = {10.1007/978-3-031-66149-5_1}, url = {https://doi.org/10.1007/978-3-031-66149-5_1}, researchr = {https://researchr.org/publication/BaumBHHLLS24}, cites = {0}, citedby = {0}, pages = {3-25}, booktitle = {Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings}, editor = {Thomas Neele and Anton Wijs}, volume = {14624}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-66149-5}, }