This problem is concerned with specifying in linear temporal logic tasks to be per- formed by a robot. Suppose the robot must visit a set of n locations l1, l2, . . . , ln. Let pi be an atomic formula that is true if and only if the robot visits location li