303 search results - page 4 / 61 » Interfaces as Games, Programs as Strategies |
TACAS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
UM
2005
Springer
14 years 28 days ago
2005
Springer
CIG
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Many games require opponent modelling for optimal performance. The implicit learning and adaptive nature of evolutionary computation techniques offer a natural way to d...
ICNC
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Different mutation operators have been proposed in evolutionary programming. However, each operator may be efficient in solving a subset of problems, but will fail in an...
AAAI
2004
13 years 8 months ago
2004
We develop an exact dynamic programming algorithm for partially observable stochastic games (POSGs). The algorithm is a synthesis of dynamic programming for partially observable M...