Temporal Logic Motion Planning for Dynamic Robots