Causal Temporal Reasoning for Markov Decision Processes

Milad Kazemi, Nicola Paoletti

We introduce $\text{PCFTL (Probabilistic CounterFactual Temporal Logic)}$, a new probabilistic temporal logic for the verification of Markov Decision Processes (MDP). PCFTL is th…