Temporal causality in reactive systems

DOI10.1007/978-3-031-19992-9_13MaRDI QIDQ6160913zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4085006
• scientific article; zbMATH DE number 7453963
• Temporal verification of reactive systems: response
• Formal Methods for Components and Objects
• Timing and causality in process algebra

Cites work

• Causality analysis and fault ascription in component-based systems
• Causality checking for complex system models
• Causality-based game solving
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Counterfactuals.
• Explaining counterexamples using causality
• Explaining Hyperproperty Violations
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Probabilistic causes in Markov chains
• Probabilistic Hyperproperties of Markov Decision Processes
• What causes a system to satisfy a specification?

Cited in

(14)

• Unifying theories of time with generalised reactive processes
• Circus Time with Reactive Designs
• Formal Reasoning About Causality Analysis
• scientific article; zbMATH DE number 1094758 (Why is no real title available?)
• Causal reasoning for safety in Hennessy Milner logic
• Foundations of probability-raising causality in Markov decision processes
• AutoHyper: explicit-state model checking for HyperLTL
• Second-order hyperproperties
• Explainability requirements as hyperproperties
• Conflict-aware active automata learning
• Counterfactual causality for reachability and safety based on distance functions
• Counterfactuals modulo temporal logics
• Model checking omega-regular hyperproperties with AutoHyperQ
• Counterfactual explanations for MITL violations

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)