TY  - RPRT
TI  - Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
AU  - Zhen Yao
AU  - Elisabetta De Maria
AU  - Robert De Simone
PY  - 2025
UR  - https://arxiv.org/abs/2506.13340
ID  - 2506.13340
ER  -