Probabilistic Modeling and Verification of an Adaptive VR Serious Game for Patients with Cognitive Impairment.

Alessandro Forgiarini, Elisabetta De Maria, Fabio Buttussi

Browse the full AIME paper archive.