157 search results - page 27 / 32 » Debugging formal specifications using simple counterstrategi... |
E4MAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper investigates reinforcement learning (RL) in XCS. First, it formally shows that XCS implements a method of generalized RL based on linear approximators, in which the usu...
ECAIW
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
AIIDE
2008
13 years 9 months ago
2008
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...