Modelling and verification of weighted spiking neural systems

Bogdan Aman, Gabriel Ciobanu. Modelling and verification of weighted spiking neural systems. Theoretical Computer Science, 623:92-102, 2016. [doi]

Abstract

Abstract is missing.