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]
@article{BiewerBSHHLLL25,
title = {Software doping analysis for human oversight},
author = {Sebastian Biewer and Kevin Baum 0001 and Sarah Sterz and Holger Hermanns and Sven Hetmank and Markus Langer and Anne Lauber-Rönsberg and Franz Lehr},
year = {2025},
month = {May},
doi = {10.1007/s10703-024-00445-2},
url = {https://doi.org/10.1007/s10703-024-00445-2},
researchr = {https://researchr.org/publication/BiewerBSHHLLL25},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {66},
number = {1},
pages = {49-98},
}