Temporal causality in reactive systems

DOI10.1007/978-3-031-19992-9_13zbMath1522.68304OpenAlexW4312673457MaRDI QIDQ6160913

Bernd Finkbeiner, Niklas Metzger, Norine Coenen, Julian Siber, Hadar Frenkel, Christopher Hahn

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)

Related Items

Foundations of probability-raising causality in Markov decision processes

Cites Work

• Unnamed Item
• Unnamed Item
• Explaining counterexamples using causality
• Causality-based game solving
• Probabilistic causes in Markov chains
• Causality analysis and fault ascription in component-based systems
• Causality Checking for Complex System Models
• What causes a system to satisfy a specification?
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties