Sciweavers

689 search results - page 46 / 138
» Graphical Models for Game Theory
Sort
View
SAGT
2009
Springer
140views Game Theory» more  SAGT 2009»
15 years 6 months ago
Price of Stability in Survivable Network Design
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
Elliot Anshelevich, Bugra Caskurlu
QSHINE
2009
IEEE
15 years 6 months ago
Credit-Token Based Inter-cell Radio Resource Management: A Game Theoretic Approach
Abstract. In this paper, a radio resource sharing scheme for wireless cellular network is investigated to achieve efficiency and fairness among base stations. We propose a credit-t...
Chun-Han Ko, Hung-Yu Wei
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 6 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari
ESOP
2008
Springer
15 years 1 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
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...
C.-H. Luke Ong
ECAL
1999
Springer
15 years 3 months ago
Dynamical Systems Game
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
Eizo Akiyama, Kunihiko Kaneko