(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais (Department for Computer, Information Science,, University of Konstanz, Germany), Stefan Leue (Department for Computer and, Information Science, University of Konstanz, Germany), Mohammad Reza Mousavi, (Centre for Research on Embedded Systems
TL;DR
This paper introduces a compositional approach to counterfactual causality in labeled transition systems, enabling reasoning about safety property violations in non-communicating systems using Hennessy Milner logic.
Contribution
It presents a novel, compositional notion of counterfactual causality within labeled transition systems, extending Halpern and Pearl's framework to non-communicating systems.
Findings
Provides a formal framework for causality analysis in transition systems
Establishes compositionality results for non-communicating systems
Enables reasoning about safety violations using Hennessy Milner logic
Abstract
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.