Towards Verification of Spiking Neural Networks for Next-Generation AI Systems.

Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik

Browse the full ICDCN paper archive.