Probabilistic causes in Markov chains
From MaRDI portal
Publication:2147196
DOI10.1007/978-3-030-88885-5_14zbMath1497.68356arXiv2104.13604MaRDI QIDQ2147196
Simon Jantsch, Jakob Piribauer, Robin Ziemek, Christel Baier, Florian Funke
Publication date: 22 June 2022
Full work available at URL: https://arxiv.org/abs/2104.13604
60J10: Markov chains (discrete-time Markov processes on discrete state spaces)
60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)
03B70: Logic in computer science
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
On probability-raising causality in Markov decision processes, Temporal causality in reactive systems, Operational causality -- necessarily sufficient and sufficiently necessary
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity results for explanations in the structural-model approach
- The complexity of the \(K\)th largest subset problem and related problems
- Spanning the spectrum from safety to liveness
- Faster statistical model checking for unbounded temporal properties
- Partial and conditional expectations in Markov decision processes with integer weights
- Explanation in artificial intelligence: insights from the social sciences
- Causes and explanations in the structural-model approach: Tractable cases
- PP is as Hard as the Polynomial-Time Hierarchy
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- The Odds of Staying on Budget
- On the expressiveness and complexity of randomization in finite state monitors
- Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
- Explaining Counterexamples Using Causality
- An Analysis of Stochastic Shortest Path Problems
- Probabilistic Causality
- Computational Complexity of Probabilistic Turing Machines
- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
- An LTL Proof System for Runtime Verification
- A Proposed Probabilistic Extension of the Halpern and Pearl Definition of ‘Actual Cause’
- The Cost of Exactness in Quantitative Reachability
- What causes a system to satisfy a specification?
- Monitoring Temporal Properties of Stochastic Systems