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...
share
research
∙
05/29/2021
Causality-Based Game Solving
We present a causality-based algorithm for solving two-player reachabili...
research
∙
05/20/2021
From Verification to Causality-based Explications
In view of the growing complexity of modern software architectures, form...
research
∙
05/19/2021
A Game-Theoretic Account of Responsibility Allocation
When designing or analyzing multi-agent systems, a fundamental problem i...
research
∙
04/28/2021
Probabilistic causes in Markov chains
The paper studies a probabilistic notion of causes in Markov chains that...
research
∙
04/21/2021
The Orbit Problem for Parametric Linear Dynamical Systems
We study a parametric version of the Kannan-Lipton Orbit Problem for lin...
research
∙
02/12/2021
Responsibility and verification: Importance value in temporal logics
We aim at measuring the influence of the nondeterministic choices of a p...
research
∙
09/28/2020
Reachability in Dynamical Systems with Rounding
We consider reachability in dynamical systems with discrete linear updat...
research
∙
08/10/2020
SWITSS: Computing Small Witnessing Subsystems
Witnessing subsystems for probabilistic reachability thresholds in discr...
research
∙
07/01/2020
Minimal witnesses for probabilistic timed automata
Witnessing subsystems have proven to be a useful concept in the analysis...
research
∙
10/23/2019