108,682 research outputs found
The Logit-Response Dynamics
We develop a characterization of stochastically stable states for the logit-response learning dynamics in games, with arbitrary specification of revision opportunities. The result allows us to show convergence to the set of Nash equilibria in the class of best-response potential games and the failure of the dynamics to select potential maximizers beyond the class of exact potential games. We also study to which extent equilibrium selection is robust to the specification of revision opportunities. Our techniques can be extended and applied to a wide class of learning dynamics in games.Learning in games, logit-response dynamics, best-response potential games
Generating and Solving Symbolic Parity Games
We present a new tool for verification of modal mu-calculus formulae for
process specifications, based on symbolic parity games. It enhances an existing
method, that first encodes the problem to a Parameterised Boolean Equation
System (PBES) and then instantiates the PBES to a parity game. We improved the
translation from specification to PBES to preserve the structure of the
specification in the PBES, we extended LTSmin to instantiate PBESs to symbolic
parity games, and implemented the recursive parity game solving algorithm by
Zielonka for symbolic parity games. We use Multi-valued Decision Diagrams
(MDDs) to represent sets and relations, thus enabling the tools to deal with
very large systems. The transition relation is partitioned based on the
structure of the specification, which allows for efficient manipulation of the
MDDs. We performed two case studies on modular specifications, that demonstrate
that the new method has better time and memory performance than existing PBES
based tools and can be faster (but slightly less memory efficient) than the
symbolic model checker NuSMV.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767
Verified Correctness and Security of mbedTLS HMAC-DRBG
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A),
and we have proved its cryptographic security--that its output is
pseudorandom--using a hybrid game-based proof. We have also proved that the
mbedTLS implementation (C program) correctly implements this functional
specification. That proof composes with an existing C compiler correctness
proof to guarantee, end-to-end, that the machine language program gives strong
pseudorandomness. All proofs (hybrid games, C program verification, compiler,
and their composition) are machine-checked in the Coq proof assistant. Our
proofs are modular: the hybrid game proof holds on any implementation of
HMAC-DRBG that satisfies our functional specification. Therefore, our
functional specification can serve as a high-assurance reference.Comment: Appearing in CCS '1
A computer scientist looks at game theory
I consider issues in distributed computation that should be of relevance to
game theory. In particular, I focus on (a) representing knowledge and
uncertainty, (b) dealing with failures, and (c) specification of mechanisms.Comment: To appear, Games and Economic Behavior. JEL classification numbers:
D80, D8
Robust stochastic stability
A strategy profile of a game is called robustly stochastically stable if it is stochastically stable for a given behavioral model independently of the specification of revision opportunities and tie-breaking assumptions in the dynamics. We provide a simple radius-coradius result for robust stochastic stability and examine several applications. For the logit-response dynamics, the selection of potential maximizers is robust for the subclass of supermodular symmetric binary-action games. For the mistakes model, the weaker property of strategic complementarity suffices for robustness in this class of games. We also investigate the robustness of the selection of risk-dominant strategies in coordination games under best-reply and the selection of Walrasian strategies in aggregative games under imitation.Learning in games, stochastic stability, radius-coradius theorems, logit-response dynamics, mutations, imitation
The determinants of football match attendance revisited: Empirical evidence from the Spanish Football League
An attendance equation is estimated using data on individual games played in the Spanish First Division Football League. The specification includes as explanatory factors: economic variables, quality, uncertainty and opportunity costs. We concentrate the analysis on some specification issues such as controlling the effect of unobservables given the panel data structure of the data set, the type of functional form and the potential endogeneity of prices. We obtain the expected effects on attendance for all the variables. The estimated price elasticities are smaller than one in absolute value as usually occurs in this literature but are sensitive to the specification issues.Attendance, price elasticity, panel data
Nash Equilibrium and Robust Stability in Dynamic Games: A Small-Gain Perspective
This paper develops a novel methodology to study robust stability properties
of Nash equilibrium points in dynamic games. Small-gain techniques in modern
mathematical control theory are used for the first time to derive conditions
guaranteeing uniqueness and global asymptotic stability of Nash equilibrium
point for economic models described by functional difference equations.
Specification to a Cournot oligopoly game is studied in detail to demonstrate
the power of the proposed methodology
- âŠ