Search Results for author:
Found 8 papers, 0 papers with code
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds
As with other ML tasks, classification models are notoriously brittle in the presence of adversarial attacks.
Software Doping Analysis for Human Oversight
A prominent example of software doping are the tampered emission cleaning systems that were found in millions of cars around the world when the diesel emissions scandal surfaced.
On the Foundations of Cycles in Bayesian Networks
Bayesian networks (BNs) are a probabilistic graphical model widely used for representing expert knowledge and reasoning under uncertainty.
What Do We Want From Explainable Artificial Intelligence (XAI)? -- A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research
Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these stakeholders' desiderata) in a variety of contexts.
Explainable artificial intelligence
Explainable Artificial Intelligence (XAI)
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains.
Logic in Computer Science
Towards a Framework Combining Machine Ethics and Machine Explainability
In this paper, we try to motivate and work towards a framework combining Machine Ethics and Machine Explainability.
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Markov decision processes (MDPs) are a popular model for performance analysis and optimization of stochastic systems.
Probabilistic Bisimulation: Naturally on Distributions
In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities.
Logic in Computer Science
