Hermanns, Holger

4 publications

ACML 2024 Saliency Maps Give a False Sense of Explanability to Image Classifiers: An Empirical Evaluation Across Methods and Metrics Hanwei Zhang, Felipe Torres Figueroa, Holger Hermanns

JAIR 2022 Admissibility in Probabilistic Argumentation Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

JAIR 2020 Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

AAAI 2020 Let's Learn Their Language? a Case for Planning with Automata-Network Languages from Model Checking Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni