Controlling a stopped diffusion process to reach a goal

We consider a problem of optimally controlling a two-dimensional diffusion process initially starting in the interior of a domain until it reaches the line y=[theta][phi](x) at a stopping time [tau]<=T0, where T0, [alpha],[sigma],[gamma]>0 and [theta]>1 are fixed positive constants and [phi](x) is a given positive strictly increasing, twice continuously differentiable function on (0,[infinity]) such that [phi](0)>=0. The goal is to maximize the probability criterion over a class of admissible controls consisting of bounded, Borel measurable functions. Under suitable conditions, it is shown that the maximal probability is given explicitly and the optimal process is determined explicitly by