Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees

Ryohei Oura, Yuji Ito

Recent decision-making systems are increasingly complicated, making it crucial to verify and understand their behavior for a given specification. A promising approach is to compreh…