Happy Toilet: A Social Analytics Approach to the Study of Public Toilet Cleanliness | IEEE Conference Publication | IEEE Xplore