Probabilistic model checking for human activity recognition in medical serious games.
Thibaud L'YvonnetElisabetta De MariaSabine MoisanJean-Paul RigaultPublished in: Sci. Comput. Program. (2021)
Keyphrases
- model checking
- human activity recognition
- serious games
- temporal logic
- activity recognition
- human activities
- model checker
- temporal properties
- formal verification
- virtual environment
- video games
- game play
- educational games
- formal specification
- symbolic model checking
- design principles
- automated verification
- computer games
- learning processes
- epistemic logic
- verification method
- formal methods
- transition systems
- learning scenarios
- bounded model checking
- computation tree logic
- modal logic
- data model
- knowledge base
- timed automata
- learning styles
- software development
- expert systems
- social networks
- alternating time temporal logic