Stochastic Shortest Path Problem with Failure Probability. - Ritsusamuel Otsubo (CoRR, 2024)