Sampling-based algorithms for motion planning with temporal logic specifications