52 citations · 217 across the 36 of their papers we have counts for
4 papers · 1 filter
Foundations of probability-raising causality in Markov decision processes
Christel Baier, Jakob Piribauer, Robin Ziemek
This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are conside…
The variance-penalized stochastic shortest path problem
Jakob Piribauer, Ocan Sankur, Christel Baier
The stochastic shortest path problem (SSPP) asks to resolve the non-deterministic choices in a Markov decision process (MDP) such that the expected accumulated weight before reachi…
Causality in Configurable Software Systems
Clemens Dubslaff, Kallistos Weis, Christel Baier +1
Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combin…
On probability-raising causality in Markov decision processes
Christel Baier, Florian Funke, Jakob Piribauer +1
The purpose of this paper is to introduce a notion of causality in Markov decision processes based on the probability-raising principle and to analyze its algorithmic properties. T…