Probabilistic model checking for human activity recognition in medical serious games

Autor: L'Yvonnet, Thibaud, De Maria, Elisabetta, Moisan, Sabine, Rigault, Jean-Paul
Zdroj: In Science of Computer Programming 1 June 2021 206
Databáze: ScienceDirect