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 2013Show all

2 papers · 1 filter

cs.LO2013★ 4 cited

Modelling, Reduction and Analysis of Markov Automata (extended version)

Dennis Guck, Hassan Hatefi, Holger Hermanns +2

Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic faul…

cs.LO2013★ 9 cited

Compositional Verification and Optimization of Interactive Markov Chains

Holger Hermanns, Jan Krčál, Jan Křetínský

Interactive Markov chains (IMC) are compositional behavioural models extending labelled transition systems and continuous-time Markov chains. We provide a framework and algorithms…