Formal and computational models of Reinforcement Sensitivity Theory · Study