A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

Nikan Zandian Jazi, Elisabetta De Maria, Christopher Leturc

Spiking Neural Networks (SNNs) model biological neural dynamics more faithfully than classical artificial networks, but their stochastic, event-driven computation -- rooted in ion-…