The purpose of this paper is to introduce a notion of causality in Marko...
We present a causality-based algorithm for solving two-player reachabili...
In view of the growing complexity of modern software architectures, form...
When designing or analyzing multi-agent systems, a fundamental problem i...
The paper studies a probabilistic notion of causes in Markov chains that...
We study a parametric version of the Kannan-Lipton Orbit Problem for lin...
We aim at measuring the influence of the nondeterministic choices of a p...
We consider reachability in dynamical systems with discrete linear updat...
Witnessing subsystems for probabilistic reachability thresholds in discr...
Witnessing subsystems have proven to be a useful concept in the analysis...
This paper introduces Farkas certificates for lower and upper bounds on
...