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…