1. Statistical data, https://www.statista.com/.
2. Use runtime verification to improve the quality of medical care practice;Jiang,2016
3. O. Canovas, P.E. Lopez-de Teruel, A. Ruiz, WiFiBoost: a terminal-based method for detection of indoor/outdoor places, in: Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2014, pp. 352–353.
4. H. Cho, J. Song, H. Park, C. Hwang, Deterministic indoor detection from dispersions of GPS satellites on the celestial sphere, 2014.
5. IODetector: A generic service for indoor/outdoor detection;Li;ACM Trans. Sens. Netw. (TOSN),2015