Optimal exit time from casino gambling: Strategies of precommitted and naive gamblers - He, XD; Hu, S; Obloj, J; Zhou, XY (SIAM Journal on Control and Optimization, 2019)