POSGsolver contains MDP