Automated Verification of Stochastic Spiking Neural P Systems.

Bogdan Aman Gabriel Ciobanu

Published in: Int. Conf. on Membrane Computing (2015)

Keyphrases

automated verification
model checking
automated reasoning
bio inspired
machine learning
spike trains
learning rules
monte carlo
computer systems
intelligent systems
network architecture
biologically plausible
associative memory
biologically inspired
distributed systems
management system
neuron model
neural network