Title: Policy constrained Markov programming