Bisimulations in Game Analysis
R. Glück
erschienen 2011
in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science
PhD Programme (RAMiCS 12), 2011.
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.
This page in English
Suche