SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study.

Soham Banerjee Sumana Ghosh Ansuman Banerjee Swarup Kumar Mohalik

Published in: VMCAI (2023)

Keyphrases

spiking neural networks
computational model
learning strategies
neural models