Probabilistic causes in Markov chains

DOI10.1007/978-3-030-88885-5_14zbMath1497.68356arXiv2104.13604OpenAlexW3211017378MaRDI 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

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Logic in computer science (03B70) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

On probability-raising causality in Markov decision processes ⋮ Temporal causality in reactive systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary

Uses Software

• CP-logic

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

This page was built for publication: Probabilistic causes in Markov chains