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
∙
05/14/2023
A Unifying Formal Approach to Importance Values in Boolean Functions
Boolean functions and their representation through logics, circuits, mac...
research
∙
05/13/2023
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
In an offline reinforcement learning setting, the safe policy improvemen...
research
∙
03/22/2023
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
A central task in control theory, artificial intelligence, and formal me...
research
∙
02/27/2023
Positivity-hardness results on Markov decision processes
This paper investigates a series of optimization problems for one-counte...
research
∙
01/20/2023
On the Foundations of Cycles in Bayesian Networks
Bayesian networks (BNs) are a probabilistic graphical model widely used ...
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
∙
01/18/2022
Causality in Configurable Software Systems
Detecting and understanding reasons for defects and inadvertent behavior...
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
∙
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
∙
04/28/2020
Iterative Variable Reordering: Taming Huge System Families
For the verification of systems using model-checking techniques, symboli...
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
∙
04/14/2020
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Modern safety-critical systems are heterogeneous, complex, and highly dy...
research
∙
12/11/2019
Breaking the Limits of Redundancy Systems Analysis
Redundancy mechanisms such as triple modular redundancy protect safety-c...
research
∙
10/23/2019
Farkas certificates and minimal witnesses for probabilistic reachability constraints
This paper introduces Farkas certificates for lower and upper bounds on ...
research
∙
02/12/2019
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
The paper addresses two variants of the stochastic shortest path problem...
research
∙
04/30/2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
The paper deals with finite-state Markov decision processes (MDPs) with ...
research
∙
09/07/2017
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Parametric Markov chains have been introduced as a model for families of...
research
∙
07/11/2017
Synthesis of Optimal Resilient Control Strategies
Repair mechanisms are important within resilient systems to maintain the...
research
∙
06/20/2017
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm event...
research
∙
11/27/2012