Observing Robot Movement in the Simulation

Can anyone tell me how to observe the movement of the robot in the simulation. Also, how does LTLMoP interpret the pose from an external provider. What should I do to map the pose in my environment to the specified region in the spec file. Thanks
