Operational causality -- necessarily sufficient and sufficiently necessary

DOI10.1007/978-3-031-15629-8_2zbMath1524.68185MaRDI QIDQ6163880

Christel Baier, Simon Jantsch, Robin Ziemek, Jakob Piribauer, Clemens Dubslaff, Florian Funke

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

On probability-raising causality in Markov decision processes

Cites Work

• Explaining counterexamples using causality
• Causality-based game solving
• Axioms of causal relevance
• Dynamic causes for the violation of timed reachability properties
• Probabilistic causes in Markov chains
• Causality analysis and fault ascription in component-based systems
• Causality-Based Verification of Multi-threaded Programs
• Causality Checking for Complex System Models
• Finding small balanced separators
• An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Improved Approximation Algorithms for Minimum Weight Vertex Separators
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Causal diagrams for empirical research
• The complexity of probabilistic verification
• Termination of Probabilistic Concurrent Program
• Temporal logics for the specification of performance and reliability
• 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
• Tools and Algorithms for the Construction and Analysis of Systems
• Causality and Counterfactuals in the Situation Calculus
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• On probability-raising causality in Markov decision processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational causality -- necessarily sufficient and sufficiently necessary