TY - RPRT TI - Spiking Neural Networks modelled as Timed Automata with parameter learning AU - Elisabetta De Maria AU - Cinzia Di Giusto AU - Laetitia Laversa PY - 2018 UR - https://arxiv.org/abs/1808.01893 ID - 1808.01893 ER -