[LDMR21]
Thibaud L’Yvonnet, Elisabetta De Maria, Sabine Moisan and Jean-Paul Rigault.
Probabilistic model checking for human activity recognition in medical serious games.
Science of Computer Programming.
2021.
[Uses probabilistic model checking and PRISM for human activity recognition.]
|
