Learning and analysis of sensors behavior in IoT systems using statistical model checking

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Learning and analysis of sensors behavior in IoT systems using statistical model checking. Software Quality Journal, 30(2):367-388, 2022. [doi]

Abstract

Abstract is missing.