Temporal causality in reactive systems
From MaRDI portal
Publication:6160913
DOI10.1007/978-3-031-19992-9_13zbMATH Open1522.68304OpenAlexW4312673457MaRDI QIDQ6160913FDOQ6160913
Authors: Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber 
Publication date: 2 June 2023
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-19992-9_13
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- Counterfactuals.
- Title not available (Why is that?)
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Explaining counterexamples using causality
- Probabilistic Hyperproperties of Markov Decision Processes
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Causality analysis and fault ascription in component-based systems
- Causality-based game solving
- What causes a system to satisfy a specification?
- Causality checking for complex system models
- Probabilistic causes in Markov chains
- Explaining Hyperproperty Violations
Cited In (8)
- Foundations of probability-raising causality in Markov decision processes
- Circus Time with Reactive Designs
- AutoHyper: explicit-state model checking for HyperLTL
- Formal Reasoning About Causality Analysis
- Title not available (Why is that?)
- Causal reasoning for safety in Hennessy Milner logic
- Second-order hyperproperties
- Unifying theories of time with generalised reactive processes
This page was built for publication: Temporal causality in reactive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160913)
