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

2 papers · 1 filter

eess.SY2018

Continuous-Time Markov Decisions based on Partial Exploration

Pranav Ashok, Yuliya Butkova, Holger Hermanns +1

We provide a framework for speeding up algorithms for time-bounded reachability analysis of continuous-time Markov decision processes. The principle is to find a small, but almost…

cs.LO2018

Facets of Software Doping

Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner +1

This paper provides an informal discussion of the formal aspects of software doping.