Behavior engineering using quantitative reinforcement learning models | Synapse