Playing games with scenario- and resource-aware SDF graphs through policy iteration

The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optima...

Ausführliche Beschreibung