activity
20082026
most citedWhat Do We Want From Explainable Artificial Intelligence (XAI)? -- A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research

611 citations · 855 across the 28 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

cs.LO2012

Transient Reward Approximation for Continuous-Time Markov Chains

Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer +1

We are interested in the analysis of very large continuous-time Markov chains (CTMCs) with many distinct rates. Such models arise naturally in the context of reliability analysis,…

cs.FL2012★ 6 cited

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

Holger Hermanns, Andrea Turrini

Deciding in an efficient way weak probabilistic bisimulation in the context of Probabilistic Automata is an open problem for about a decade. In this work we close this problem by p…