Probabilistic Spiking Neural Networks: Formal Verification and Simulation.

Zhen Yao, Elisabetta De Maria, Robert de Simone

Browse the full UC paper archive.