Foundations of probability-raising causality in Markov decision processes

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 mathema...

Full description

Bibliographic Details
Main Authors: Christel Baier, Jakob Piribauer, Robin Ziemek
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2024-01-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/10015/pdf