Sign in
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