904 search results - page 75 / 181 » Game Theory |
146
click to vote
ESOP
2008
Springer
15 years 6 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...
171
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Speci...
145
click to vote
IAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Patrolling environments by means of autonomous mobile robots has received an increasing attention in the last few years. The interest of the agent community is mainly in the develo...
109
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
153
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...