I have been reading Su and Rieger's paper on barriers and from there have been able to work out the unconditional probability of the process $dXt = μ dt + σ dWt$ touching a down barrier $α$ to be
$\mathbb{P}(\min(x_0\rightarrow _T) ≤ α) = \Phi\left(\frac{α - μT}{σ \sqrt{T}}\right) + \exp\left(\frac{2μα}{σ^2}\right) \Phi\left(\frac{α + μT}{σ\sqrt{T}}\right)$
All well and good matching simulations nicely etc...
However, I am looking for a closed form solution for $\mathbb{P}(\min(x_0\rightarrow _T) ≤ α\, |\, x_T = X)$ (i.e both $x_0$ and $x_T$ are known.)