Publications (17)
A Game-Theoretic Account of Responsibility Allocation
Christel Baier, Florian Funke, Rupak Majumdar
When designing or analyzing multi-agent systems, a fundamental problem is responsibility ascription: to specify which agents are responsible for the joint outcome of their behavior…
Causality-Based Game Solving
Christel Baier, Norine Coenen, Bernd Finkbeiner +3
We present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of pro…
The -torsion polytope of amenable groups
Florian Funke
We introduce the notion of groups of polytope class and show that torsion-free amenable groups satisfying the Atiyah Conjecture possess this property. A direct consequence is the h…
Probabilistic causes in Markov chains
Christel Baier, Florian Funke, Simon Jantsch +2
The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property. This notion is motivated by…
The Orbit Problem for Parametric Linear Dynamical Systems
Christel Baier, Florian Funke, Simon Jantsch +7
We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or mor…
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…