Computational Approaches for Stochastic Shortest Path on Succinct MDPs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady +1

We consider the stochastic shortest path (SSP) problem for succinct Markov decision processes (MDPs), where the MDP consists of a set of variables, and a set of nondeterministic ru…