An Analysis of Stochastic Shortest Path Problems | Synapse