206 search results - page 18 / 42 » Computing Equilibria in Anonymous Games |
IPL
2006
13 years 6 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
ADHOCNOW
2005
Springer
14 years 8 days ago
2005
Springer
ICALP
2004
Springer
14 years 3 days ago
2004
Springer
CORR
2008
Springer
13 years 6 months ago
2008
Springer
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...