4447 search results - page 14 / 890 » Model Checking Games |
DIGRA
2005
Springer
15 years 8 months ago
2005
Springer
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
128
click to vote
GAMEON
2008
15 years 3 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...
124
Voted
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
114
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
125
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...