research
∙
08/22/2023
Counterfactual Causality for Reachability and Safety based on Distance Functions
Investigations of causality in operational systems aim at providing huma...
share
research
∙
07/13/2023
Entropic Risk for Turn-Based Stochastic Games
Entropic risk (ERisk) is an established risk measure in finance, quantif...
research
∙
02/27/2023
Positivity-hardness results on Markov decision processes
This paper investigates a series of optimization problems for one-counte...
research
∙
09/07/2022
Foundations of probability-raising causality in Markov decision processes
This work introduces a novel cause-effect relation in Markov decision pr...
research
∙
04/21/2022
The variance-penalized stochastic shortest path problem
The stochastic shortest path problem (SSPP) asks to resolve the non-dete...
research
∙
01/21/2022
On probability-raising causality in Markov decision processes
The purpose of this paper is to introduce a notion of causality in Marko...
research
∙
08/18/2021
Witnessing subsystems for probabilistic systems with low tree width
A standard way of justifying that a certain probabilistic property holds...
research
∙
05/20/2021
From Verification to Causality-based Explications
In view of the growing complexity of modern software architectures, form...
research
∙
04/28/2021
Probabilistic causes in Markov chains
The paper studies a probabilistic notion of causes in Markov chains that...
research
∙
04/23/2020
On Skolem-hardness and saturation points in Markov decision processes
The Skolem problem and the related Positivity problem for linear recurre...
research
∙
02/12/2019