209 search results - page 10 / 42 » A Primer on Strategic Games |
AMAI
2008
Springer
13 years 9 months ago
2008
Springer
EOR
2007
13 years 9 months ago
2007
ICAISC
2004
Springer
14 years 3 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
ISAAC
2009
Springer
14 years 4 months ago
2009
Springer
We consider some well-known families of two-player zero-sum perfect-information stochastic games played on finite directed graphs. Generalizing and unifying results of Liggett and...
ACRI
2006
Springer
14 years 3 months ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...