A Discussion On. The Paper by Dmitry Berenson and Siddhartha S Srinivasa here proves the probabilistic completeness of RRT based algorithms when planning.
