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

1 paper · 1 filter

cs.LO2011★ 29 cited

Efficient CSL Model Checking Using Stratification

Lijun Zhang, David N. Jansen, Flemming Nielson +1

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal,…