Sciweavers

1410 search results - page 156 / 282
» The Algorithmics of Solitaire-Like Games
Sort
View
ATVA
2010
Springer
169views Hardware» more  ATVA 2010»
15 years 25 days ago
Compositional Algorithms for LTL Synthesis
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
Emmanuel Filiot, Naiyong Jin, Jean-François...
CG
2006
Springer
15 years 3 months ago
A Retrograde Approximation Algorithm for One-Player Can't Stop
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
James Glenn, Haw-ren Fang, Clyde P. Kruskal
UAI
2008
15 years 1 months ago
Identifying reasoning patterns in games
We present an algorithm that identifies the reasoning patterns of agents in a game, by iteratively examining the graph structure of its Multi-Agent Influence Diagram (MAID) repres...
Dimitrios Antos, Avi Pfeffer
GAMEON
2000
15 years 1 months ago
Real Time Goal Orientated Behaviour for Computer Game Agents
To increase the depth and appeal of computer games, the intelligence of the characters they contain needs to be increased. These characters should be played by intelligent agents ...
Nick Hawes
GECCO
2006
Springer
184views Optimization» more  GECCO 2006»
15 years 3 months ago
Genetic algorithms and mixed integer linear programs for optimal strategies in a student's "sports" activity
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
Thomas Butter, Franz Rothlauf, Jörn Grahl, To...