TY  - RPRT
TI  - A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
AU  - Elisabetta De Maria
AU  - Christopher Leturc
PY  - 2026
UR  - https://arxiv.org/abs/2602.03643
ID  - 2602.03643
ER  -