209 search results - page 10 / 42 » A Primer on Strategic Games |
141
click to vote
ICAISC
2004
Springer
15 years 11 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 ...
174
click to vote
ISAAC
2009
Springer
16 years 17 days 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...
160
click to vote
ACRI
2006
Springer
16 years 6 hour 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...