# Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

> Research article (Journal of Intelligent & Robotic Systems, 2018) · cited 12× · AI/ML

**Wikidata**: [openalex:W2815975866](https://www.wikidata.org/wiki/openalex:W2815975866)  
**Source**: https://4ort.xyz/entity/designing-human-assisted-wireless-sensor-and-robot-networks-using-probabilistic-model-checking