Before revision:  We consider in detail the BSDE (backward stochastic differential equations ) characterising the value  function.
After revision:  We consider in detail the BSDE (backward stochastic differential equation ) characterising the value function.