Counterfactuals modulo temporal logics
From MaRDI portal
Cites work
- AutoHyper: explicit-state model checking for HyperLTL
- 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
- Completeness and decidability of three logics of counterfactual conditionals1
- Complexity results for structure-based causality.
- Explaining counterexamples using causality
- Explaining Hyperproperty Violations
- scientific article; zbMATH DE number 1701778 (Why is no real title available?)
- scientific article; zbMATH DE number 1467490 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Model checking omega-regular hyperproperties with AutoHyperQ
- Probabilistic Hyperproperties of Markov Decision Processes
- Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4--7, 2018. Proceedings
- Realizing \(\omega\)-regular hyperproperties
- Temporal causality in reactive systems
- The computational complexity of structure-based causality
- The hierarchy of hyperlogics
- What causes a system to satisfy a specification?
Cited in
(3)
This page was built for publication: Counterfactuals modulo temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025219)
