Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. - Kevin Baum 001; Sebastian Biewer; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Sarah Sterz (SPIN, 2024)

Software doping analysis for human oversight. - Sebastian Biewer; Kevin Baum 001; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr (Formal Methods Syst. Des., 2025)