A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training

Elisabetta De Maria, Christopher Leturc

2025

Abstract

Serious games are established as an effective tool to screen cognitive deficits and assess diagnosis in patients affected by neuro-degenerative diseases such as Alzheimer or Parkinson. They are also known for their cognitive training benefits. According to the latest DSM-5 classification, we can discriminate mild Neuro-Cognitive Disorders (mild NCDs) and Major Neuro-Cognitive Disorders (Major NCDs). In this article, we consider three classes of patients: healthy, mild NCD, and Major NCD. For each class, we use Discrete Time Markov Chains to model the behaviour shown while playing serious games. Model checking techniques allow us to spot the difference between the expected and the observed behaviour. As a main contribution, we provide a new theoretical framework allowing us to evaluate how the confidence level of practitioners on the patient’s Alzheimer degree evolves after each game session, i.e., help to diagnose, and to set up an experimental protocol in which the levels of the proposed subsequent game sessions automatically depend on the patient behaviour observed in the previous sessions, i.e., help to train.

Paper Citation

in Harvard Style

De Maria E. and Leturc C. (2025). A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training. In Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: HEALTHINF; ISBN 978-989-758-731-3, SciTePress, pages 351-360. DOI: 10.5220/0013095300003911

in Bibtex Style

@conference{healthinf25,
author={Elisabetta De Maria and Christopher Leturc},
title={A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training},
booktitle={Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: HEALTHINF},
year={2025},
pages={351-360},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013095300003911},
isbn={978-989-758-731-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: HEALTHINF
TI - A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training
SN - 978-989-758-731-3
AU - De Maria E.
AU - Leturc C.
PY - 2025
SP - 351
EP - 360
DO - 10.5220/0013095300003911
PB - SciTePress