Abstract
Bisimulations are widely used in model checking for proving system properties.
However, they are also useful for constructing systems with certain desired properties.
As an example we show how strategies for a simple class of games can be synthesized with the help of bisimulations.