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

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

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

• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• 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 Hyperproperty Violations
• Explaining counterexamples using causality
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Probabilistic Hyperproperties of Markov Decision Processes
• Probabilistic causes in Markov chains
• What causes a system to satisfy a specification?

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
• scientific article; zbMATH DE number 1094758 (Why is no real title available?)
• 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)