1451 search results - page 1 / 291 » Order independence and rationalizability |
TARK
2005
Springer
13 years 10 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...
TOPNOC
2010
12 years 11 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
ACSD
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
MSOM
2010
13 years 3 months ago
2010
TARK
2007
Springer
13 years 11 months ago
2007
Springer
This paper considers the robustness of equilibria to a small amount of incomplete information, where players are allowed to have heterogenous priors. An equilibrium of a complete ...