Xin Xin 0007, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck. Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. In 8th IEEE World Forum on Internet of Things, WF-IoT 2022, Yokohama, Japan, October 26 - Nov. 11, 2022. pages 1-7, IEEE, 2022. [doi]
Abstract is missing.