|
[WLM+23]
Xia Wang, Jun Liu, Samuel Moore, Chris Nugent and Yang Xu.
A Behavioural Hierarchical Analysis Framework in a Smart Home: Integrating HMM and Probabilistic Model Checking.
Information Fusion.
2023.
[Applies probabilistic model checking and PRISM to the analysis of smart home behavioural models.]
|
|
Links:
[Google]
[Google Scholar]
|