SPUDD: Stochastic Planning using Decision Diagrams