Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)