Before revision:  Using a comparison result, we characterize the value  as a viscosity solution to the HJB equation  .
After revision:  Using a comparison result, we characterize the value as a viscosity solution to the HJB equation using a comparison result and a byproduct to obtain the dynamic programming principle .