Probabilistic Model Checking for Activity Recognition in Medical Serious Games

Thibaud L’Yvonnet,Elisabetta De Maria,Sabine Moisan,Jean-Paul Rigault

2021 IEEE/ACM 3rd International Workshop on Software Engineering for Healthcare (SEH)（2021）

引用 0|浏览0

暂无评分

摘要

Human activity recognition plays an important role especially in medical applications. This paper proposes a formal approach to model such activities, taking into account possible variations in human behavior. This approach is based on discrete-time Markov chains enriched with event occurrence probabilities. We use the PRISM and Storm frameworks and their model checking facilities to express and c...

查看译文

关键词

Storms,Medical services,Model checking,Activity recognition,Tools,Markov processes,Probabilistic logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要