Optimal probabilistic and decision-theoretic planning using Markovian decision theory