Decision-theoretic planning | Synapse