2 papers
cs.NE2026
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-…
cs.FL2026
A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
Elisabetta De Maria, Christopher Leturc
Serious games have proven to be effective tools for screening cognitive impairments and supporting diagnosis in patients with neurodegenerative diseases like Alzheimer's and Parkin…