Probabilistic causes in Markov chains (Q2147196): Difference between revisions

@@ Property / describes a project that uses @@
+CP-logic
@@ Property / describes a project that uses: CP-logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3211017378
@@ Property / OpenAlex ID: W3211017378 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.13604
@@ Property / arXiv ID: 2104.13604 / rank @@
+Normal rank
@@ Property / cites work @@
+CP-logic: A language of causal probabilistic events and its relation to logic programming
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Counterexamples Using Causality
@@ Property / cites work: Explaining Counterexamples Using Causality / rank @@
+Normal rank
@@ Property / cites work @@
+An Analysis of Stochastic Shortest Path Problems
@@ Property / cites work: An Analysis of Stochastic Shortest Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357711
@@ Property / cites work: Q5357711 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and complexity of randomization in finite state monitors
+Normal rank
@@ Property / cites work @@
+The Cost of Exactness in Quantitative Reachability
+Normal rank
@@ Property / cites work @@
+Q5715677
@@ Property / cites work: Q5715677 / rank @@
+Normal rank
@@ Property / cites work @@
+What causes a system to satisfy a specification?
@@ Property / cites work: What causes a system to satisfy a specification? / rank @@
+Normal rank
@@ Property / cites work @@
+An LTL Proof System for Runtime Verification
@@ Property / cites work: An LTL Proof System for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Faster statistical model checking for unbounded temporal properties
+Normal rank
@@ Property / cites work @@
+Probabilistic Causality
@@ Property / cites work: Probabilistic Causality / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for explanations in the structural-model approach
+Normal rank
@@ Property / cites work @@
+Causes and explanations in the structural-model approach: Tractable cases
+Normal rank
@@ Property / cites work @@
+Spanning the spectrum from safety to liveness
@@ Property / cites work: Spanning the spectrum from safety to liveness / rank @@
+Normal rank
@@ Property / cites work @@
+A Proposed Probabilistic Extension of the Halpern and Pearl Definition of ‘Actual Cause’
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
+Normal rank
@@ Property / cites work @@
+The Odds of Staying on Budget
@@ Property / cites work: The Odds of Staying on Budget / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the \(K\)th largest subset problem and related problems
+Normal rank
@@ Property / cites work @@
+Explanation in artificial intelligence: insights from the social sciences
+Normal rank
@@ Property / cites work @@
+Q3651576
@@ Property / cites work: Q3651576 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial and conditional expectations in Markov decision processes with integer weights
+Normal rank
@@ Property / cites work @@
+Monitoring Temporal Properties of Stochastic Systems
+Normal rank
@@ Property / cites work @@
+PP is as Hard as the Polynomial-Time Hierarchy
@@ Property / cites work: PP is as Hard as the Polynomial-Time Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2147196