A Forward-Backward Search Strategy for Falsification in Spiking Neural Networks.

Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik

Browse the full VLSID paper archive.