We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given B...
Abstract. We propose an ecosystem of self-replicating cellular automaton loops by designing new rules for interactions between individual loops. The loops interact competitively wi...
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
The most recent advances of artificial life research are opening up a new frontier: the creation of simulated life environments populated by autonomous agents. In several cases a n...
Abstract. This paper explores the capabilities of continuous time recurrent neural networks (CTRNNs) to display reinforcement learning-like abilities on a set of T-Maze and double ...