Sökning: WFRF:(Mousavi Mohammad Reza 1978 )
> Leue Stefan >
(De-)Composing Caus...
(De-)Composing Causality in Labeled Transition Systems
-
- Caltais, Georgiana (författare)
- University of Konstanz, Konstanz, Germany
-
- Leue, Stefan (författare)
- University of Konstanz, Konstanz, Germany
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Open Publishing Association, 2016
- 2016
- Engelska.
-
Ingår i: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST’16). - : Open Publishing Association. ; , s. 10-24
- Relaterad länk:
-
https://doi.org/10.4...
-
visa fler...
-
https://hh.diva-port... (primary) (Raw object)
-
https://urn.kb.se/re...
-
https://doi.org/10.4...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Causality
- Labeled Transition Systems
- Modal Logic
- Hennessy Milner Logic
- Modal Decomposition
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)