4447 search results - page 25 / 890 » Model Checking Games |
123
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
115
click to vote
ENTCS
2006
15 years 3 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
126
click to vote
IWEC
2004
15 years 4 months ago
2004
Abstract. Live role-playing (LRP) games stand as powerful metaphorical models for the various digital and ubiquitous forms of entertainment that gather under the term pervasive gam...
UM
2007
Springer
15 years 9 months ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
112
click to vote
NIPS
2008
15 years 4 months ago
2008
Classical game theoretic approaches that make strong rationality assumptions have difficulty modeling human behaviour in economic games. We investigate the role of finite levels o...