Counterstrategy Visualization Tool

• For unsynthesizable specifications, enables exploration of an environment that prevents the robot from achieving the specified behaviour.
• User interacts with this strategy by selecting the robot actions and movement in every time step in response to the sensor inputs provided by LTLMoP.
• User can change the state of robot actuators by clicking toggle buttons, and select a region to move to by clicking on a map.
• Available choices are automatically constrained according to the system safety conditions: forbidden regions are blacked out on the map, and illegal action choices raise an error, including an explanation of why they are illegal.

TODO images, example