Computational Approaches for Stochastic Shortest Path on Succinct MDPs