4447 search results - page 249 / 890 » Model Checking Games |
140
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a new game theoretic formulation for the design and routing of resilient and translucent networks. An integer linear programming (ILP) modeling is also presen...
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
123
click to vote
APAL
2010
15 years 4 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
123
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
144
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...