4447 search results - page 57 / 890 » Model Checking Games |
101
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
119
click to vote
COCOON
2010
Springer
15 years 8 months ago
2010
Springer
The parallel repetition theorem states that for any two provers one round game with value at most 1 − (for < 1/2), the value of the game repeated n times in parallel is at mo...
116
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
155
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
129
Voted
KI
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present an interactive poker game in which one human user plays against two animated agents using RFID-tagged poker cards. The game is used as a showcase to illust...