1599 search results - page 122 / 320 » Algorithms for Parity Games |
146
click to vote
ICAISC
2004
Springer
15 years 12 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 ...
160
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- The main purpose of this work is to measure the effect of bargaining players’ information completeness on agreements in evolutionary environments. We apply Co-evolution...
205
click to vote
WASA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. It has been long recognized that the interference among concurrent wireless transmissions plays a crucial role in limiting the performance of wireless networks. Recently,...
190
click to vote
VALUETOOLS
2006
ACM
16 years 14 days ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
155
click to vote
ICANNGA
2007
Springer
16 years 20 days ago
2007
Springer
A new method of genetic evolution of linear and nonlinear evaluation functions in the game of checkers is presented. Several practical issues concerning application of genetic algo...