Temporal logic planning for dynamic robots