@dblp

Probabilistic model checking for human activity recognition in medical serious games.

, , , and . Sci. Comput. Program., (2021)

Links and resources

Tags