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]
Abstract is missing.