Behavior engineering using quantitative reinforcement learning models · Study