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

2 papers · 1 filter

cs.LO2016★ 2 cited

Compositional Reasoning for Interval Markov Decision Processes

Vahid Hashemi, Holger Hermanns, Andrea Turrini

Model checking probabilistic CTL properties of Markov decision processes with convex uncertainties has been recently investigated by Puggelli et al. Such model checking algorithms…

cs.DC2016

Distributed Synthesis in Continuous Time

Holger Hermanns, Jan Krčál, Steen Vester

We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for…