Before revision:  In contrast to other methods, verification of optimality for the resulting value function is not necessary .
After revision:  In contrast to other methods, our systematic solution procedure is more direct since we first obtain the explicit form of the value functions .