4447 search results - page 72 / 890 » Model Checking Games |
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
81
Voted
CG
2004
Springer
15 years 8 months ago
2004
Springer
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
108
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
92
Voted
JMLR
2011
14 years 10 months ago
2011
This paper describes a Bayesian approximation method to obtain online ranking algorithms for games with multiple teams and multiple players. Recently for Internet games large onli...
121
Voted
ENTCS
2002
15 years 3 months ago
2002
or Abstraction in Model Checking Mar