  We derive rigorous results describing the asymptotic dynamics of a discretetime model of spiking neurons introduced in \cite{BMS}. Using symbolic dynamictechniques we show how the dynamics of membrane potential has a one to onecorrespondence with sequences of spikes patterns (``raster plots''). Moreover,though the dynamics is generically periodic, it has a weak form of initialconditions sensitivity due to the presence of a sharp threshold in the modeldefinition. As a consequence, the model exhibits a dynamical regimeindistinguishable from chaos in numerical experiments.
Using symbolic dynamic techniques