Temporal logic motion planning for dynamic robots