Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...
The possibility of using switchable glass (also called smart windows) technology for Evolvable Hardware tasks is suggested in this paper. Switchable glass technology basically mea...
Evolutionary systems based on genetic algorithms GAs are common nowadays. One of the recent uses of such systems is in the burgeoning eld of evolvable hardware which involves, amo...