A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking.
Xia WangJun LiuSamuel J. MooreChris D. NugentYang XuPublished in: Inf. Fusion (2023)
Keyphrases
- model checking
- abstract interpretation
- temporal logic
- smart home
- hidden markov models
- model checker
- artifact centric
- temporal properties
- formal verification
- finite state
- human activities
- context aware
- cooperative
- probabilistic reasoning
- formal specification
- activity recognition
- verification method
- symbolic model checking
- linear temporal logic
- expert systems