4447 search results - page 70 / 890 » Model Checking Games |
137
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
We present and analyze coalitional affinity games, a family of hedonic games that explicitly model the value that an agent receives from being associated with other agents. We pro...
121
click to vote
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an adaptive tit-for-tat strategy and a study of its behavior in spatial IPD games. The adaptive tit-for-tat strategy is shown elsewhere to demonstrate high perf...
132
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
113
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
157
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...