4447 search results - page 567 / 890 » Model Checking Games |
190
click to vote
MOR
2006
15 years 6 months ago
2006
It has been shown (Hart [2002]) that the backward induction (or subgame-perfect) equilibrium of a perfect information game is the unique stable outcome for dynamic models consisti...
183
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
This paper analyzes competition between mutual funds in a multiple funds version of the model of Hugonnier and Kaniel [17]. We characterize the set of equilibria for this portfoli...
122
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The problem of non-cooperative resource allocation in an amplifyand-forward relay-assisted DS/CDMA system is addressed. The relay designs its amplify-and-forward matrix for achiev...
166
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
228
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...