List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|
| article | 2024 | Software doping analysis for human oversight | Biewer, Sebastian; Baum, Kevin; Sterz, Sarah; Hermanns, Holger; Hetmank, Sven; Langer, Markus; Lauber-Rönsberg, Anne; Lehr, Franz | |
| article | 2023 | On the road with RTLola : Testing real driving emissions on your phone | Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger; Köhl, Maximilian A.; Schnitzer, Yannik; Schwenger, Maximilian | |
| article | 2022 | Analyzing neural network behavior through deep statistical model checking | Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Steinmetz, Marcel | |
| article | 2021 | What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research | Langer, Markus; Oster, Daniel; Kästner, Lena; Speith, Timo; Baum, Kevin; Hermanns, Holger; Schmidt, Eva; Sesing, Andreas | |
| conferenceObjectPart | 2018 | Compiling Probabilistic Model Checking into Probabilistic Planning | Klauck, Michaela; Steinmetz, Marcel; Hoffmann, Jörg; Hermanns, Holger | de Weerdt, Mathijs; Koenig, Sven; Röger, Gabriele; Spaan, Matthijs |
https://orcid.org/0000-0002-2766-9615