35 search results - page 4 / 7 » A Games Model of Bunched Implications |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
—In this paper, we present and analyze the properties of a new class of games - the spatial congestion game (SCG), which is a generalization of the classical congestion game (CG)...
56
Voted
VRML
2004
ACM
15 years 3 months ago
2004
ACM
Epic Games provides a free game level editor with titles based on its Unreal engine. The editor provides a rich set of authoring tools that can be used to create fully interactive...
95
Voted
TARK
2009
Springer
15 years 4 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
89
Voted
TARK
1998
Springer
15 years 2 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...