4447 search results - page 20 / 890 » Model Checking Games |
118
click to vote
CG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Years of work have gone into algorithms and optimizations for twoplayer perfect-information games such as Chess and Checkers. It is only more recently that serious resear...
136
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
109
click to vote
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
111
click to vote
IEEEIAS
2007
IEEE
15 years 9 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
120
Voted
RIVF
2003
15 years 4 months ago
2003
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...