1632 search results - page 17 / 327 » Modeling billiards games |
AUSAI
2009
Springer
14 years 4 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
LOGCOM
2002
13 years 9 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Logit Dynamics [Blume, Games and Economic Behavior, 1993] is a randomized best response dynamics for strategic games: at every time step a player is selected uniformly at random a...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several st...