research
∙
05/14/2023
A Unifying Formal Approach to Importance Values in Boolean Functions
Boolean functions and their representation through logics, circuits, mac...
share
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/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
∙
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