Spiking Neural Networks modelled as Timed Automata with parameter learning

Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa

In this paper we present a novel approach to automatically infer parameters of spiking neural networks. Neurons are modelled as timed automata waiting for inputs on a number of dif…