Christopher W. Miller Nonlinear PDE Approach to Time-Inconsistent Optimal Stopping. 557-573 2017 55 SIAM J. Control. Optim. 1 https://doi.org/10.1137/15M1047064 db/journals/siamco/siamco55.html#Miller17