20 search results - page 1 / 4 » Model Checking Nash Equilibria in MAD Distributed Systems |
SSS
2009
Springer
13 years 11 months ago
2009
Springer
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
ICPP
2009
IEEE
13 years 11 months ago
2009
IEEE
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
ISAAC
2005
Springer
13 years 10 months ago
2005
Springer
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...