Zhen Yao, Elisabetta De Maria, Robert de Simone. Probabilistic Spiking Neural Networks: Formal Verification and Simulation. In Enrico Formenti, Luca Manzoni, editors, Unconventional Computation and Natural Computation - 22nd International Conference, UCNC 2025, Nice, France, September 1-5, 2025, Proceedings. Volume 16364 of Lecture Notes in Computer Science, pages 100-114, Springer, 2025. [doi]
Abstract is missing.