Sciweavers

5995 search results - page 106 / 1199
» Algorithmic Game Theory
Sort
View
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
15 years 10 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
142
Voted
APPROX
2010
Springer
207views Algorithms» more  APPROX 2010»
15 years 5 months ago
Exploiting Concavity in Bimatrix Games: New Polynomially Tractable Subclasses
Abstract. We study the fundamental problem of computing an arbitrary Nash equilibrium in bimatrix games. We start by proposing a novel characterization of the set of Nash equilibri...
Spyros C. Kontogiannis, Paul G. Spirakis
137
Voted
FOCS
2010
IEEE
15 years 1 months ago
Subexponential Algorithms for Unique Games and Related Problems
We give subexponential time approximation algorithms for UNIQUE GAMES and the SMALL-SET EXPANSION. Specifically, for some absolute constant c, we give:
Sanjeev Arora, Boaz Barak, David Steurer
123
Voted
EOR
2008
136views more  EOR 2008»
15 years 3 months ago
Game-theoretic analysis of cooperation among supply chain agents: Review and extensions
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
Mahesh Nagarajan, Greys Sosic
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
15 years 9 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo