Sebastian Biewer, Kevin Baum 0001, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr. Software doping analysis for human oversight. Formal Methods in System Design, 66(1):49-98, May 2025. [doi]
Abstract is missing.