Constrained Markov Decision Processes via Backward Value Functions | Synapse