Shahabuddin Muhammad, Nazeeruddin Mohammad, Abul Bashar, Majid Ali Khan. Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking. Journal of Intelligent and Robotic Systems, 94(3-4):687-709, 2019. [doi]
Abstract is missing.