An MILP-Based Solution Scheme for Factored Markov Decision Processes | Synapse