@misc{indiciae1e9e6e2ec4cf,
  title = {A Probabilistic Model-Checking Framework for Cognitive Assessment and Training},
  author = {Elisabetta De Maria and Christopher Leturc},
  year = {2026},
  url = {https://arxiv.org/abs/2602.03643},
  note = {Source identifier: 2602.03643}
}