Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices.

Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen

Browse the full ICCCN paper archive.