Probabilistic Model Checking for Activity Recognition in Medical Serious Games.
Thibaud L'YvonnetElisabetta De MariaSabine MoisanJean-Paul RigaultPublished in: SEH@ICSE (2021)
Keyphrases
- activity recognition
- model checking
- serious games
- temporal logic
- human activity recognition
- human activities
- formal verification
- virtual environment
- action recognition
- temporal properties
- model checker
- symbolic model checking
- formal specification
- automated verification
- verification method
- game play
- design principles
- transition systems
- video games
- computer games
- computation tree logic
- epistemic logic
- learning scenarios
- bounded model checking
- transfer learning
- accelerometer data
- formal methods
- educational games
- knowledge representation