894 search results - page 31 / 179 » Game Theory with Costly Computation |
130
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
127
click to vote
SIGECOM
2003
ACM
15 years 7 months ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
111
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
While the class of congestion games has been thoroughly studied in the multi-agent systems literature, settings with incomplete information have received relatively little attenti...
175
click to vote
ALDT
2011
Springer
14 years 1 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
129
click to vote
ISPDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Scheduling divisible loads in distributed systems is the subject of Divisible Load Theory (DLT). In this paper we show that coalitional game theory is a natural fit for modeling ...