Automatic synthesis of robot controllers for tasks with locative prepositions