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

Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik

Browse the full VMCAI paper archive.