Causality checking for complex system models
From MaRDI portal
Recommendations
- An efficient algorithm for computing causal trace sets in causality checking
- Causal reasoning for safety in Hennessy Milner logic
- Complexity results for structure-based causality.
- From Checking to Inference: Actual Causality Computations as Optimization Problems
- Explaining counterexamples using causality
Cited in
(21)- scientific article; zbMATH DE number 1759722 (Why is no real title available?)
- scientific article; zbMATH DE number 1956639 (Why is no real title available?)
- Explaining safety failures in NetKAT
- Constraint-based debugging in probabilistic model checking
- Simulation of system models containing zero-order causal paths. I.: Classification of zero-order causal paths
- Dynamic causes for the violation of timed reachability properties
- Counterfactuals modulo temporal logics
- Explaining Hyperproperty Violations
- scientific article; zbMATH DE number 1884353 (Why is no real title available?)
- Causal Kripke models
- From verification to causality-based explications (invited talk)
- Causal Models for Dynamical Systems
- Formal Reasoning About Causality Analysis
- Operational causality -- necessarily sufficient and sufficiently necessary
- Causal Kripke Models
- An efficient algorithm for computing causal trace sets in causality checking
- From Checking to Inference: Actual Causality Computations as Optimization Problems
- Causal reasoning for safety in Hennessy Milner logic
- Temporal causality in reactive systems
- Conflict-aware active automata learning
- Counterfactual causality for reachability and safety based on distance functions
This page was built for publication: Causality checking for complex system models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926648)
