Xia Wang, Jun Liu, Chris D. Nugent, Samuel J. Moore, Yang Xu. Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking. In José Bravo 0001, Sergio F. Ochoa, Jesús Favela, editors, Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, UCAmI 2022, Córdoba, Spain, 29 November - 2 December 2022. Volume 594 of Lecture Notes in Networks and Systems, pages 796-808, Springer, 2022. [doi]
Abstract is missing.