Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Kombinatorisches Spiel"”.
-
Random games
Games are a classical tool for the synthesis of controllers in reactive systems. In this setting, a game is defined by: an arena, which is a graph modelling the system and its evolution; and a winning condition, which models the specification that the controller must ensure. In each state, the …