A Sampling-based Method for Output Safety Verification of Spiking Neural Networks. - Sruti Goswami; Ansuman Banerjee; Swarup Kumar Mohalik (ISVLSI, 2025)