Search

Your search keyword '"Robin Ziemek"' showing total 7 results
Start Over Author "Robin Ziemek"
7 results on '"Robin Ziemek"'

1. Foundations of probability-raising causality in Markov decision processes

Author

Christel Baier, Jakob Piribauer, and Robin Ziemek

Subjects
computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Abstract

This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.

Published
2024
Full Text
View/download PDF

6. Probabilistic causes in Markov chains

Author

Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, and Christel Baier

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software, Logic in Computer Science (cs.LO)
Abstract

The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property. This notion is motivated by the use of causes for monitoring purposes where the aim is to detect faulty or undesired behaviours before they actually occur. A cause is a set of finite executions of the system after which the probability of the effect exceeds a given threshold. We introduce multiple types of costs that capture the consumption of resources from different perspectives, and study the complexity of computing cost-minimal causes., Full version of a conference paper at ATVA'21; 26 pages, 9 figures

Published
2022

7. From Verification to Causality-Based Explications (Invited Talk)

Author

Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek, Baier, Christel, Dubslaff, Clemens, Funke, Florian, Jantsch, Simon, Majumdar, Rupak, Piribauer, Jakob, Ziemek, Robin, Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek, Baier, Christel, Dubslaff, Clemens, Funke, Florian, Jantsch, Simon, Majumdar, Rupak, Piribauer, Jakob, and Ziemek, Robin

Abstract

In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifying that it behaves as intended. This paper surveys approaches to formally explicate the observable behavior of reactive systems. We describe how Halpern and Pearl’s notion of actual causation inspired verification-oriented studies of cause-effect relationships in the evolution of a system. A second focus lies on applications of the Shapley value to responsibility ascriptions, aimed to measure the influence of an event on an observable effect. Finally, formal approaches to probabilistic causation are collected and connected, and their relevance to the understanding of probabilistic systems is discussed.

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results