Modelling and verification of weighted spiking neural systems.

Bogdan Aman Gabriel Ciobanu

Published in: Theor. Comput. Sci. (2016)

Keyphrases

bio inspired
complex systems
reinforcement learning
learning systems
model checking
formal methods
spiking neural networks
asynchronous circuits
expert systems
building blocks
biologically inspired
weighted sum
biologically plausible