Ryohei Oura

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

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 comprehensively explain undesired behavior in the systems modeled by Markov decision processes (MDPs) through formal verificati