4447 search results - page 36 / 890 » Model Checking Games |
126
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
145
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
129
click to vote
MLQ
2007
15 years 2 months ago
2007
Abstract. We prove the existence of pairs of models of the same cardinality λ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but w...
105
click to vote
AIIDE
2009
15 years 4 months ago
2009
We demonstrate an approach to modelling the effects of certain parameters of platform game levels on the players' experience of the game. A version of Super Mario Bros has be...
147
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...