Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification

Zhen Yao, Elisabetta De Maria, Robert De Simone

Spiking Neural Networks (SNN) are models for "realistic" neuronal computation, which makes them somehow different in scope from "ordinary" deep-learning models widely used in AI pl…