1953 search results - page 24 / 391 » Normative system games |
JSYML
2011
12 years 10 months ago
2011
We locate winning strategies for various Σ0 3-games in the L-hierarchy in order to prove the following:
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We provide general comparative static results for large finite and infinite-dimensional aggregative games. In aggregative games, each player's payoff depends on her own action...
TMC
2011
13 years 2 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...